以下哪些类型是同一类型：
一世。a -> b -> c -> d
ii. (a -> b) -> c -> d
三、a -> (b -> c) -> d
四、a -> b -> (c -> d)
v. (a -> b) -> (c -> d)
六. ((a -> b) -> c) -> d
七. a -> (b -> (c -> d))
(b) 在下面的术语中，给定 x,y,z:: Integer，函数 f 的类型是什么：
一世。(fx) (y, z)
ii. 知乎
三、f (x,y,z)
四、f (x,(y,z))
(c) 给出下列术语的类型（如果它们确实输入了）并指出哪些是相等的：
一世。“A B C D”
ii. [（'A B C D'）] …