On Fri, Dec 29, 2006 at 03:36:45AM -0500, [EMAIL PROTECTED] wrote: > And if you don't want to think about it, this should make everything > clear: > > f :: A -> (B -> (C -> D)) > f a :: B -> (C -> D) > (f a) b :: C -> D > ((f a) b) c :: d
Nice illustration. It's as if the letters jumped over the colons from the type world to the value world. Now if you can't sleep, you can count jumping types instead of sheep ;-) Best regards Tomasz _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
