Note, I removed the Kleisli composition example because Validation is not a monad in Scalaz 7. Using a for comprehension provides the same functionality albeit with a little more typing.