Bump dialyzer warnings.
Generalize filter into fold.

Generalize the filter into the fold operation; additionally, it’s not
required to read the current value and apply operations to it, given
that the merge operation computes a least-upper-bound against the
currently bound value when performing a bind.