Li-Fan Chen says to YSITD
ad-hoc 的 polymorphism