I show some simple heuristic calculations to explain how monad rules stem from a functor adjunction.

Read more...