Why do you feel type annotations in comments are not maintainable? The type checker obviously has to be run in continuous integration so it's not like the anno

Why do you feel type annotations in comments are not maintainable? The type checker obviously has to be run in continuous integration so it's not like the annotations are going to get outdated just because they are in comments. (Actually you shouldn't see them as comments, they are as much code as the rest of your code)