This looks good, although I wonder if `popOneFilter` would be even more convenient.