scalaz-deriving instances for scalaprops. generation of arbitrary case classes / ADTs instances
purity enforcer