Genericsにはtypedefやある程度の型推論が欲しいと思うんだが、どう思う?