On Sun, May 29, 2016 at 4:53 PM, Guido van Rossum <gvanrossum at gmail.com> wrote: > I am currently in favor of Distinct Type [Alias]. I actually like distinguished type better: A = typing.distinguish("A", int) -Fred -- Fred L. Drake, Jr. <fred at fdrake.net> "A storm broke loose in my mind." --Albert Einstein