25 Aug
2006
25 Aug
'06
7:27 p.m.
Il Fri, Aug 25, 2006 at 07:52:35PM +0100, Neil Mitchell ebbe a scrivere:
why mkT is a type constructor and mkT1 seems not to be? In what way is mkT a type constructor? In this program only T1 is a type constructor, as far as I can see.
read my sentence as "why T is a type constructor and T1 seems not to be?" look at the types: mkT 2 5 will return (2,5) whose type is "T a" mkT1 2 5 will return (2,5) whose type is "(a,b)". they return the same stuff with different types. Onle myT will return a type of type "T a". andrea