RE: [Haskell-cafe] using of data types as kinds

--- Simon Peyton-Jones <simonpj@microsoft.com> wrote:

Read about Omega!

I will.

Busy doing GADTs and impredicativity at the moment though

Impredicativity? === Gregory Woodhouse <gregory.woodhouse@sbcglobal.net> "Interaction is the mind-body problem of computing." --Philip Wadler