SequenceOf lazy filter on Beta 4