clarify 'elements' of a type