concrete functor and monad transformers

#67No access to the Writer.CPS internal representation