Update 类型推导.hs