Avatar
あれ? Generalized existentials って、今の AnySequence とかの延長なの?
ちがうけど、Generalized existential があれば AnySequence とかいらなくね?っていう文脈だとおもってます。