On 15.05.2016 19:30, Guido van Rossum wrote: > Right. I still have no good intuition for what Type[BasicUser, > ProUser] would mean so I think you should be required to use the > Union, which is clear. Type[] should only allow one parameter. Type[A, B] reminds me of isinstance(obj, (A, B)). Sven