F
AlternativeLaws ApplicativeErrorLaws ApplicativeLaws ApplyLaws ArrowLaws BifoldableLaws BifunctorLaws BimonadLaws BitraverseLaws CartesianLaws CategoryLaws ChoiceLaws CoflatMapLaws CommutativeArrowLaws CommutativeFlatMapLaws CommutativeMonadLaws ComonadLaws ComposeLaws ContravariantLaws FlatMapLaws FoldableLaws FunctorLaws InvariantLaws InvariantMonoidalLaws MonadErrorLaws MonadLaws MonoidKLaws NonEmptyTraverseLaws ProfunctorLaws ReducibleLaws SemigroupKLaws StrongLaws TraverseLaws