F
AsyncLaws CatchableLaws DeferrableLaws EvaluableLaws EventualLaws
flatMap
Monad
flatMapStackSafety
DeferrableLaws
floatEq
Eq