The multiplication of a monad allows one to compose and via
However, if includes context in, then the target to compose are
we need a natural transformation
with which the composite
To make the composition associative and pure computation an identity, must satisfy certain coherence condition 1.