Li-Fan Chen
says to
YSITD
當然你也可以說 ∧ 可以被 ad-hoc polymorphism 啦