F
AlternativeLaws ApplicativeErrorLaws ApplicativeLaws ApplyLaws ArrowLaws BifoldableLaws BifunctorLaws BimonadLaws BitraverseLaws CartesianLaws CategoryLaws ChoiceLaws CoflatMapLaws ComonadLaws ComposeLaws ContravariantLaws FlatMapLaws FoldableLaws FunctorFilterLaws FunctorLaws InvariantLaws InvariantMonoidalLaws MonadCombineLaws MonadErrorLaws MonadFilterLaws MonadLaws MonadReaderLaws MonadStateLaws MonadWriterLaws MonoidKLaws ProfunctorLaws ReducibleLaws SemigroupKLaws SplitLaws StrongLaws TraverseFilterLaws TraverseLaws