Li-Fan Chen says to YSITD
型別推導