CartesianKLaws

laws

CartesianKTests

discipline

cartesianAssociativity

CartesianKLaws

cartesianK

CartesianKTests

covariantComposition

FunctorKLaws

covariantIdentity

FunctorKLaws