On 1/15/07, Jim Apple <[EMAIL PROTECTED]> wrote:
data OK' (x :: *) where OK' :: OK' xtype Fine' = OK' Maybe type Evil' = OK' (forall (f :: *) . f)
Correction: that Maybe should obviously be something of kind *, like Bool. Jim _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe