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

[Jim Apple]

On 1/15/07, Jim Apple <jbapple+haskell-cafe at gmail.com> 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