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
leftAndThenLiftedLeftApplyCommutes
ArrowChoiceLaws
leftAndThenRightIdentityCommutes
ArrowChoiceLaws
leftComposeCommute
ArrowChoiceLaws
leftFoldConsistentWithFoldMap
FoldableLaws
leftIdentity
Isomorphisms
leftLiftCommute
ArrowChoiceLaws
leftRightConsistent
ArrowChoiceLaws
leftTwiceCommutesWithSumAssociation
ArrowChoiceLaws
lhs
IsEqArrow