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