F
ApplyKLaws
ContravariantKLaws
FunctorKLaws
InvariantKLaws
SemigroupalKLaws
FunctorKLaws
laws
FunctorKTests
discipline
functorK
FunctorKTests