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