pub type Concat4<P, P2, P3, P4> = Concat<P, Concat<P2, Concat<P3, P4>>>;
pub struct Concat4<P, P2, P3, P4>(/* private fields */);