That thread is from like 4 years ago, types in Python have come a long way since then. Maybe they'd reconsider if the community brought it back up