Control.Monad.Freer.Writer

data Writer o x

tell

runWriter