
14 Mar
2007
14 Mar
'07
12:04 p.m.
Hello Bjorn, Wednesday, March 14, 2007, 5:27:35 PM, you wrote:
I'm not the original poster, but what about just changing it to "The instance type must be of the form (T a1 ... an) where T is not a synonym, and a1 ... an are distinct type variables)"?
or even better, "are distinct type *variables*", emphasizing important part of the phrase -- Best regards, Bulat mailto:Bulat.Ziganshin@gmail.com