]> Hi, can't you just say that you spotted a problem in the proposed solution instead of being so aggressive? Removing all the useless sentences of your message just leave this: Le 9 oct. 09 à 16:18, Damien Guichard a écrit : > Imagine my code is: > > type color = int > > let black : color = 0 > > Then, following your proposition, evaluating black should give me an > int rather than a color because int is shorter and therefore nicer. which is indeed relevant and exposes a problem not faced in the previous mails. Thanks, V.