Claus Reinke wrote:
> class Monad m => MonadPlus m if <..oops..>
if Monad m, then declare MonadPlus m as follows..
This gloss doesn't make sense. The act of declaration is a constant
static property of the module, and cannot be conditional on the property
of a variable. The module _always_ declares the class.
A sensible gloss should begin "Declare MonadPlus to be a class on m such
that (Monad m) and..." with the understanding that "m" is quantified by
"Declare MonadPlus to be a class on m".
--
Ashley Yakeley
_______________________________________________
Haskell-prime mailing list
Haskell-prime@haskell.org
http://haskell.org/mailman/listinfo/haskell-prime