~~Cartesian~~

~~cats~~

Comparison

cats

cats

root

catsInstancesForId

cats

catsLawsIsEqToProp

discipline

catsParallelForId

cats

catsRepresentableForId

cats

controlConsistency

ErrorControlLaws

controlErrorPureIsPure

ErrorControlLaws