He would have liked stronger static type checking of template arguments.

• 他本来想要更强的模板参数的静态类型检验。