laws
tagless
ApplyKTests
ContravariantKTests
FunctorKTests
InvariantKTests
SemigroupalKTests