Li-Fan Chen
says to
YSITD
你不能說他們是 a -> a -> a 因為這沒辦法被 parametric polymorphism