Class WriterT<W,​M extends MonadRec<?,​M>,​A>