filter contacts by sequence enrollment

It would be very helpful for analysis of the funnel and all touchpoints of a contact user journey to be able to filter if they were ever part of a specific sequence.