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 DeferTests DistributiveTests FlatMapTests FoldableTests FunctorFilterTests FunctorTests InjectKTests InjectTests InvariantMonoidalTests InvariantSemigroupalTests InvariantTests MonadErrorTests MonadTests MonoidKTests NonEmptyParallelTests NonEmptyTraverseTests ParallelTests ProfunctorTests ReducibleTests RepresentableTests SemigroupKTests SemigroupalTests StrongTests TraverseFilterTests TraverseTests UnorderedFoldableTests UnorderedTraverseTests