Can anyone explain to me how hugs manages to derive that
f x y z = y (y z) x
is of type
f :: a -> ((a -> b) -> a -> b) -> (a -> b) -> b
Many thanks and a happy new year to all!
Lee
_________________________________________________________________
Stay in touch with absent friends - get MSN Messenger http://www.msn.co.uk/messenger
_______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
