laws
tagless
ApplyKTests
FunctorKTests
InvariantKTests
SemigroupalKTests