F
CartesianKLaws
FunctorKLaws
InvariantKLaws
FunctorKLaws
laws
FunctorKTests
discipline
functorK
FunctorKTests