Greetings. In section 4.1 of Haskell Report for 98: It is indicated that (->) has kind * -> *-> * and t1 -> t2 is equivalent to type (->) t1 t2 Does this make (->) a type constructor? Is this an attempt to unify functions and data types? Thanks