TL;DR: type hints are a disappointment to me because they're only hints.