Why associativity of :> operator is not defined here (http://nemerle.org/Operators) ? Now it looks like to be right-associative. I think, it should be left-associative. def x = 1; def y = x :> Int16 :> Int64;