Of monads and such