Writer
scalaz
withFilter
MonadicLoop