Make use of pmod_pt parse_transform

In order to use it, the monad transformers have new behaviour:
monad_t. That's beause the transform alters the arity of exported
functions and they are no longer the same as those of monad.