あれ？ Generalized existentials って、今の AnySequence とかの延長なの？

ちがうけど、Generalized existential があれば AnySequence とかいらなくね？っていう文脈だとおもってます。