pub trait Kind3<A, B, C> { type Output; }
Trait for brands of types of kind "* -> * -> * -> *".
"* -> * -> * -> *"