apply

CartesianKLaws FunctorKLaws InvariantKLaws CartesianKTests FunctorKTests InvariantTests

associativity

IsomorphismsK