laws
mainecoon ApplyKTests FunctorKTests InvariantKTests SemigroupalKTests