Harald Husum

@JelleZijlstra: Having slept on it, I realize this has a lot more in common with `NewType` than I first though. In [PEP484](https://www.python.org/dev/peps/pep-0484/#newtype-helper-function), the motivating for said type is the following...

Not sure there is a term for this kind of subclassing. Often, when doing subclassing, one does so in order to equip the sub-class with a more powerful set of...

> A related problem I'm thinking about is int types. Highly relevant for us as well. Often want to annotate something as a `StrictlyPositiveInt`, and so on. Then, `StrictlyPositiveInt +...

> It seems that some form of specialization is required to express this. I could imagine some unified `NewType` and `Protocol` that specializes a type could be used to express...

Was just bit by this issue. Hoping to see it worked on.

For reference, there are two other issues closely related to this one, covering the x axis (#799), and color axis (#3368). It would probably make sense to tackle all three...

For reference, there are two other issues closely related to this one, covering the y axis (#801), and color axis (#3368). It would probably make sense to tackle all three...