Do we want type annotations?
Do we want type annotations?