Li-Fan Chen
says to
YSITD
就 對於類型推斷來說