> From: "Cagdas Ozgenc" <[EMAIL PROTECTED]> > > 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?
(->) is indeed a type constructor. I was as surprised as you were when I discovered today that it is even possible to make (->) an instance of a class (e.g., Arrow). I can't really answer your last question. This message has been brought to you by the letter alpha and the number pi. _______________________________________________ Haskell-Cafe mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell-cafe
