Li-Fan Chen
says to
YSITD
他type inference 有夠殘廢