Module writer_trans
monadic
censor modifies the log
censor
listen pairs the result with the log
listen
listens pairs the result with a projection of the log
listens
tell sets the log value
tell