Reimplement filter in terms of cat_maybes, so it's not asymptotically slow.
Reimplement filter in terms of cat_maybes, so it's not asymptotically slow.

google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang,google-research/dex-lang