> > You cannot write the Y combinator in any strongly-typed (Hindley-Milner-like) > language - it has an infinite type in such typing schemes > > Y : x -> x -> x -> x -> x -> .... > Thank you for your answer. It spared me a lot of efforts. I thought that, by using type variable, I would be able to go around the limitation. Eduardo Costa