scalaz/scalaz — pull request #162 by bmjames (2012-09-30 09:15:09+00:00)
Title: Add _.succ syntax for Nats

This adds a `succ` method to instances of `Nat`, with the most specific possible return type. The motivation for this is to make the API a little more symmetrical after the addition of the `pred` method.