On 25 Feb 2020, at 16:22, Guido van Rossum <
guido@python.org
> wrote:
Łukasz, do you agree?
As long as we include a form of Nick's explanation in the docs for the type, I'm fine with that.
- Ł