The information isn't necessary for the compiler to reason about the program. The information is, in my opinion, useful for humans to reason about the program.

The information isn't necessary for the compiler to reason about the program. The information is, in my opinion, useful for humans to reason about the program. The fact is I would reason about programs quicker if this was explicit. There isn't any more information to consume. The information is exactly the same. It's just different, which is why I think it should look different.