F

DeferrableLaws EvaluableLaws

flatMap

Monad

flatMapStackSafety

DeferrableLaws

floatEq

Eq