OP did also say "They wouldn't even have to be specified", which is the big difference here needed for a type checker to actually use them over comments.