Monads examples and monoid-like laws.
Standard monad laws.