Avatar
Existentialだからサブタイプじゃないってことですか?でも Genralozed Existentialが導入されたらExistentialを使ってAnySequence (= Sequence のサブタイプ) を作りたいわけですよね??