Control.Monad.Freer.Writer
data
Writer
w a
tell
runWriter