9 Jan
2008
9 Jan
'08
2:32 a.m.
On Jan 9, 2008 1:07 AM, Achim Schneider
Beg pardon? Are you referring to the type of y being described with 'b' instead of 'a'?
Yes.
"(a -> a) -> a" and "(b -> b) -> b" are equivalent. For some reason ghc uses b instead of a if you are picky about it, just provide a type signature explicitly. Prelude> let {y :: (a -> a) -> a ; y f = f $ y f} Prelude> :t y y :: (a -> a) -> a