cdome: I see. So you say types in the return value don't bind type variables. 
[sorry, added "n't" later]

Reply via email to