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

--- Simon Peyton-Jones wrote:

Read about Omega!

I will.

Busy doing GADTs and impredicativity at the moment though

Impredicativity? === Gregory Woodhouse "Interaction is the mind-body problem of computing." --Philip Wadler