laws
cats AlternativeTests ApplicativeTests ApplyTests ArrowTests CategoryTests ChoiceTests CoflatMapTests ComonadTests ComposeTests FlatMapTests FoldableTests FunctorTests InvariantTests MonadCombineTests MonadErrorTests MonadFilterTests MonadReaderTests MonadStateTests MonadTests MonoidKTests ProfunctorTests SemigroupKTests SplitTests StrongTests TraverseTests
leftFoldConsistentWithFoldMap
FoldableLaws
lhs
IsEq IsEqArrow
list
ArbitraryK EqK