Re: [Haskell-cafe] Higher kinds (and impredicativity?)

15 Jan 2007


      On 1/15/07, Jim Apple  wrote:
...
data OK' (x :: *) where
    OK' :: OK' x
type Fine' = OK' Maybe
type Evil' = OK' (forall (f  :: *) . f)
Correction: that Maybe should obviously be something of kind *, like Bool.

Jim