filter method

F filter(
  1. F fa,
  2. bool predicate(
    1. dynamic a
    )
)

Implementation

F filter(F fa, bool predicate(a)) => bind(fa, (t) => predicate(t) ? pure(t) : empty());