Li-Fan Chen
says to
YSITD
泛型的意義是啥 在有 type system 的情況下做出抽象一點的函數