28 Feb
2005
28 Feb
'05
8:50 a.m.
Is there a type we can give to y f = f . f y id y head y fst are all typeable? Jim Apple