Simplified SequenceOf.filter