com.twitter.algebird
Use this to test your implementations:
property("blah is successible") { successibleLaws[MyType] }