Updated examples to use Scalaz 7 final