Removed category=>monoid dependency
Unified syntax used in Category typeclass