More and more monads