On the one hand, I agree. On the other hand, a type declaration cannot possibly tell you /why/ unless the type system encodes a significant portion of our physical world.
This encoding is left as an exercise for the reader.
This encoding is left as an exercise for the reader.
The most useful kind of comments are "why" comments, about why specific design trade-offs were chosen.