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

oleg at pobox.com oleg at pobox.com
Wed Feb 21 20:29:28 EST 2007

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

 On computable types. I. Typed lambda and type closures

 On computable types. II. Flipping the arrow 

More information about the Haskell-Cafe mailing list