ApplyKLaws
laws
ApplyKTests
discipline
apply
ApplyKLaws
ContravariantKLaws
FunctorKLaws
InvariantKLaws
SemigroupalKLaws
ApplyKTests
ContravariantKTests
FunctorKTests
InvariantKTests
SemigroupalKTests
applyK
ApplyKTests
applyKAssociativity
ApplyKLaws
associativity
IsomorphismsK