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.
Optionalparameters: ParameterOverridesOptional runtime fast-check parameters.
Test concrete type typeclass laws for the given instances of some datatype.