laws
cats AlternativeTests ApplicativeErrorTests ApplicativeTests ApplyTests ArrowChoiceTests ArrowTests BifoldableTests BifunctorTests BimonadTests BitraverseTests CategoryTests ChoiceTests CoflatMapTests CommutativeApplicativeTests CommutativeApplyTests CommutativeArrowTests CommutativeFlatMapTests CommutativeMonadTests ComonadTests ComposeTests ContravariantMonoidalTests ContravariantSemigroupalTests ContravariantTests DistributiveTests FlatMapTests FoldableTests FunctorTests InjectKTests InjectTests InvariantMonoidalTests InvariantSemigroupalTests InvariantTests MonadErrorTests MonadTests MonoidKTests NonEmptyParallelTests NonEmptyTraverseTests ParallelTests ProfunctorTests ReducibleTests SemigroupKTests SemigroupalTests StrongTests TraverseTests UnorderedFoldableTests UnorderedTraverseTests