[Haskell-cafe] Re: fix

Pete Kazmier pete-expires-20070513 at kazmier.com
Tue Mar 20 22:08:24 EDT 2007

"Matthew Brecknell" <haskell at brecknell.org> writes:

> As others have pointed out, fix is polymorphic, so "a" can stand for any
> type, including "(b -> c)". Removing redundant parentheses, this means
> fix can directly specialise to:
>> fix :: ((b -> c) -> b -> c) -> b -> c

I understand now.  I think part of my problem was that I was trying to
grasp one too many new things all at once.  This makes perfect sense.


More information about the Haskell-Cafe mailing list