apply

CartesianKLaws FunctorKLaws InvariantKLaws CartesianKTests FunctorKTests InvariantKTests

associativity

IsomorphismsK