Function testConcreteTypeclassLaw

Run a single instance through the given typeclass laws.