Be clearer what category HaskellMonads are in
Generalize Monad to be across endofunctors in any category C, not just Hask