pub type OneOf4<P, P2, P3, P4> = OneOf<P, OneOf3<P2, P3, P4>>;
pub struct OneOf4<P, P2, P3, P4>(/* private fields */);