Writer

scalaz

writerTMonadLogic

MonadLogicInstances2