Rename 类型推导.hs to Applicative functors.hs