struct AnySequence: Sequence { ... } @_typeErasure(AnySequence) protocol Sequence { ... } ってことか。