Notes on Monads, Monoids, and Make Believe