Control.Monad.Freer.Writer
data
Writer
o x
tell
runWriter