Re[2]: [Haskell-cafe] How to understand the 'forall' ?

Hello Cristiano, Wednesday, September 16, 2009, 12:04:48 PM, you wrote:

Yep, perhaps I used the wrong example. What about foo: (forall a. a) -> Int?

it's a function that convert anything to integer. for example: foo _ = 1 it's hard to find better examples, since haskell has very few functions with fully polymorphic arguments -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com