Control.Effects.Writer
data
Writer
m a
tell
writerHandler