Right, although I would argue the most interesting part of the type here is the container, not the containee. With good naming it should be pretty obvious it's

Right, although I would argue the most interesting part of the type here is the container, not the containee. With good naming it should be pretty obvious it's a Foo, and then either you know the type by heart, or will need to look up the definition anyway. With standard containers, you can have the assumption that everyone knows the type, at least high level. So knowing whether it's a list, a vector, a stack, a map or a multimap, ... is pretty useful and avoid a lookup.