pub trait Upper { type Result; }
Encoding the minimal capability to support a combination of other capabilities.
Resulting minimal required capability.