同样的规则也适用于函数：在使用类型 T 前给出 <T>，那么 T 就变成了泛型。
调用泛型函数有时需要显式地指明类型参量。这可能是因为调用了返回类型是泛型的
函数，或者编译器没有足够的信息来推断类型参数。
调用函数时，使用显式指定的类型参数会像是这样：fun::<A, B, ...>()。
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX
函数 和 structs