I tried to make it clear that typedef and the structure type are unrelated, so I don't think mentioning this is necessary. You _can_ use class notation like this anywhere, but that's obviously going to look really messy.