Q about haskell-report

Cagdas Ozgenc co19@cornell.edu
Mon, 28 Jan 2002 10:54:50 +0200


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