laws
cats AlternativeTests ApplicativeErrorTests ApplicativeTests ApplyTests ArrowTests BifunctorTests BimonadTests CartesianTests CategoryTests ChoiceTests CoflatMapTests ComonadTests ComposeTests ContravariantTests FlatMapTests FoldableTests FunctorTests InvariantTests MonadCombineTests MonadErrorTests MonadFilterTests MonadReaderTests MonadStateTests MonadTests MonoidKTests ProfunctorTests SemigroupKTests SplitTests StrongTests TraverseTests