I like this general trend, especially with `for`, since we should strive to just allow mixes of annotations wherever needed.  `struct` is a little less clear, since it's always a change that's required.