Attempt to clearly separate monads,, additive monads, comonads