spec for typed collections (inside maps)