Li-Fan Chen says to YSITD
幹 為什麼這個不會自動推斷型別