Avatar
Generalized Existential じゃなくて、 Existential に any 必須にするだけで?