Assertion: container | /r/CapableOf | represent vector
Facets:
Source sentences:
text: Indexed containers (also known as dependent polynomial functors) are a generalisation of containers, which can represent a wider class of types, such as vectors (sized lists).