com.twitter.algebird
Use this to test your implementations:
property("blah is predecessible") { predecessibleLaws[MyType] }
(Since version 0.12.3) Deprecated in favor of predecessibleLaws.