[Haskell-cafe] Type-level lambdas in Haskell?

[oleg at pobox.com]

On 2/21/07, Alfonso Acosta <alfonso.acosta at gmail.com> wrote:
> In my opinion adding Type-level lambdas would be the way to go, but
> they unfortunately are not part of Haskell.

Type-level lambdas are already present in Haskell. Please see the
messages

 On computable types. I. Typed lambda and type closures
http://www.haskell.org/pipermail/haskell/2006-September/018486.html

 On computable types. II. Flipping the arrow 
http://www.haskell.org/pipermail/haskell/2006-September/018487.html