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