# data-filter Utilities for filtering. See the documentation of `Data.Filter` for more info.