T4 template for Monads