wip: writer; define -m monads in terms of transformers + identity