Bringing monads in D