Control.Monad.Freer.Writer

data Writer w r

tell

runWriter