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