On 2010-09-09 05:07, Andrés Sicard-Ramírez wrote: > I couldn't find the answer for this two years and a half old question. > Was it answered anywhere? Ulf and I discussed it in private. The question is irrelevant now, because type constructors are no longer (supposed to be) automatically injective. -- /NAD