Keith.Wansbrough at cl.cam.ac.uk
Fri Jan 9 14:00:38 EST 2004
> 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
This question was posted from an Oxford University computer; it also smells like homework.
If it's genuinely not homework, Lee, I apologise!
Keith Wansbrough <kw217 at cl.cam.ac.uk>
University of Cambridge Computer Laboratory.
More information about the Haskell-Cafe