类型学理论不太好，我去多啃啃理论。
（但是总记不住是为什么）