defining the monad as a "monoid in the category of endofunctors" achieves maximal compression at the cost of minimizing communicability; providing "a list with at most one element" as an example of a monad maximizes communicability at the cost of obligating further induction to encompass the whole
