Scala 2.11.0-M8, Scalaz 7.1.0-M5
invariant