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