An associated type gives a placeholder name to a type that’s used as part of the protocol, isn’t specified until the protocol is adopted.