Avatar
Generalized Existential もほとんどいらないと思うんよね。