Primary associated type

An associated type named in a protocol’s angle brackets so opaque and existential uses can constrain it concisely.