caseClassArbitrary

ArbitraryCaseClassMacro

caseClassGen

ArbitraryCaseClassMacro

com

root

commutativeMonoidLaws

BaseProperties

~~commutativeMonoidLawsEq~~

~~BaseProperties~~

~~commutativeMonoidLawsEquiv~~

~~BaseProperties~~

commutativeSemigroupLaws

BaseProperties

~~commutativeSemigroupLawsEq~~

~~BaseProperties~~

~~commutativeSemigroupLawsEquiv~~

~~BaseProperties~~

composeLaw

FunctorLaws

correlationArb

arbitrary