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