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:[EMAIL PROTECTED]

_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to