[Haskell-cafe] newbie type signature question

[J. Garrett Morris]

On 6/9/06, Brandon Moore <brandonm at yahoo-inc.com> 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