Instances to test. Key is typeclass name and value is the
instance under test. For example, { Equivalence: Number.Equivalence } will run
the instance through the Equivalence typeclass laws.
The common concrete options: equivalence and an arbitrary for the underlying type of the test.
Build concrete typeclass laws for the given instances of some datatype.