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