Interfaces - the Golden Path of Haskell?

[Ben Franksen]

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