Associated type

A placeholder type declared by a protocol and fixed by each conforming type, letting requirements refer to related types.