I just finished type-annotating a 10-year old Python codebase

Oh boy. I didn't realize that type annotations in Python are that atrocious. I thought they're a similarly elegant construct to Erlang's typespecs (or ML's/Haskell's type declarations, which were earlier).