[Haskell-cafe] constant functions

[Tomasz Zielonka]

On Fri, Dec 29, 2006 at 03:36:45AM -0500, ajb at spamcop.net 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