fixed MonadWriter instance for listen-tell law