13. For a Few Monads More