Leko says to YSITD
他不會自動型別推斷