29 Jun
2013
29 Jun
'13
2:38 p.m.
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