a faster python for everyone is better than a faster python for people who grind themselves to dust adding stupid little strings everywhere. i believe in the former and the latter is just trash.
i `from typing import cast`'d for the first time today after spending 45 minutes convincing mypy my 2 minute change was OK, and now i'm fully in the fuck types camp.
fight me.