Unfold the options for monomorphic typeclass law tests on the underlying type
Mono from a function that will lift equivalence in the higher-kinded type
under test, and one that will lift an arbitrary. This function is used inside
typeclass law test code to unfold the requirements of their law predicates.
Unfold the options for monomorphic typeclass law tests on the underlying type
Monofrom a function that will lift equivalence in the higher-kinded type under test, and one that will lift an arbitrary. This function is used inside typeclass law test code to unfold the requirements of their law predicates.