[Python-Dev] Adding NewType() to PEP 484

[Bernardo Sulzbach]

On 05/28/2016 12:19 PM, Steve Dower wrote:
> Did anyone suggest "distinct type alias"?
>

I would just like to mention that "distinguished" seems to be more often 
associated with notability and excellence than "distinct", which is 
usually more neutral towards the quality of what it describes.

Unless we want to say that these types are nobler than their 
counterparts, "distinguished" seems worse than "distinct".