Very late addition to these long threads -- I'm loving the proposal. I'm
rather surprised though that the typing advantages of the pep have not been
emphasized enough. I have a lot of code that in order to get correct typing in
a strict mode does something like this:
```
def move_pitches(pitc
[Michael Cuthbert:]
> > I'm rather surprised though that the typing advantages of the pep have not
> > been emphasized enough.
[Chris Angelico]
> That would be because I personally don't use that kind of strict
> typing, so it's not something I'm really qualified to talk about.
> Would you like t
