Generalized existentials はビルド時に型が決まれば specialize されたりしないのかな？