Wvv wrote: > class Monoid a where ... > > class Monad m => Monoid m where ...
This is a kind error. The m in Monoid has kind *, while the one in Monad has kind * -> *. I suggest you (try to) rewrite your proposal to eliminate these kind errors before any further elaboration. Cheers -- Ben Franksen () ascii ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachm€nts _______________________________________________ Haskell-prime mailing list Haskell-prime@haskell.org http://www.haskell.org/mailman/listinfo/haskell-prime
