Unit and multiplication of a monad

ID: unit-and-multiplication-of-a-monad

The natural maps and defining a monad, subject to the associativity and two unit identities.

New to topics? Read the docs here!