F
AlternativeLaws ApplicativeErrorLaws ApplicativeLaws ApplyLaws ArrowChoiceLaws ArrowLaws BifoldableLaws BifunctorLaws BimonadLaws BitraverseLaws CategoryLaws ChoiceLaws CoflatMapLaws CommutativeApplicativeLaws CommutativeApplyLaws CommutativeArrowLaws CommutativeFlatMapLaws CommutativeMonadLaws ComonadLaws ComposeLaws ContravariantLaws ContravariantMonoidalLaws ContravariantSemigroupalLaws DeferLaws DistributiveLaws FlatMapLaws FoldableLaws FunctorFilterLaws FunctorLaws InvariantLaws InvariantMonoidalLaws InvariantSemigroupalLaws MonadErrorLaws MonadLaws MonoidKLaws NonEmptyTraverseLaws ProfunctorLaws ReducibleLaws SemigroupKLaws SemigroupalLaws StrongLaws TraverseFilterLaws TraverseLaws UnorderedFoldableLaws UnorderedTraverseLaws