F
ApplyKLaws
FunctorKLaws
InvariantKLaws
SemigroupalKLaws
FunctorKLaws
laws
FunctorKTests
discipline
functorK
FunctorKTests