Ryan Ingram wrote:
Just expand out the function composition: Dual . Endo . flip f = (\x -> Dual (Endo (flip f x))) which has the type d -> Dual (Endo c).-- ryan
Aha.I didn't get this straight away, but once I looked at the type signature for function composition, it became clear.
Thanks, Levi _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe