Leko
says to
YSITD
型別推斷推不出來八成是你的 function 裡面有分岐唄