Danny Tsai says to YSITD
你要泛形不就是在有類別的系統上想要無類別的特性