On 6/9/06, Brandon Moore <[EMAIL PROTECTED]> wrote:
data DataType m = forall m' . (Monad m') => DataType (TyEq m m') (Char -> m' ())
It appears that the more intuitive formulation: data DataType m where DataType :: Monad m => (Char -> m ()) -> DataType m should work in GHC 6.4 /g _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe