On 2/21/07, Alfonso Acosta 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