Create an approximation of Eq[Eq[A]] by generating 100 values for A and comparing the application of the two eqv functions
Create an approximation of Eq[A => B] by generating 100 values for A and comparing the application of the two functions.
Create an approximation of Eq[Order[A]] by generating 100 values for A and comparing the application of the two compare functions
Create an approximation of Eq[PartialOrder[A]] by generating 100 values for A and comparing the application of the two compare functions
Create an approximation of Eq[Semigroup[A]] by generating values for A and comparing the application of the two combine functions.
Create an approximation of Eq[Show[A]] by using catsLawsEqForFn1[A, String]