Re: [Haskell-cafe] newbie type signature question

On 6/9/06, Brandon Moore 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