[Haskell] Type of y f = f . f

Jim Apple japple at freeshell.org
Mon Feb 28 03:50:14 EST 2005


Is there a type we can give to

y f = f . f

y id
y head
y fst

are all typeable?

Jim Apple



More information about the Haskell mailing list