I would rather see the type annotations too. This whole essay has a flimsy premise.