Control.Monad.Eff.Writer
data
Writer
o a
tell
writer
runWriter