Monads presentation boilerplate