Control.Monad.Trans.Writer.Strict
type Writer w
writer
runWriter
execWriter
mapWriter
data WriterT w m a
execWriterT
mapWriterT
tell
listen
listens
pass
censor
liftCallCC
liftCatch