Unwriter
scalaz
underlying
EachOps
MonadicLoop