~~Cartesian~~

~~cats~~

Comparison

cats

ContravariantKLaws

laws

ContravariantKTests

discipline

cats

root

catsInstancesForId

cats

catsParallelForId

cats

catsRepresentableForId

cats

catsTaglessApplyKForIdK

tagless

contravariantComposition

ContravariantKLaws

contravariantIdentity

ContravariantKLaws

contravariantK

ContravariantKTests

covariantComposition

FunctorKLaws

covariantIdentity

FunctorKLaws