pub open spec fn swap4_3<A, B, C, D>(i: (D, (A, (B, C)))) -> (A, (B, (C, D)))
{ (i.1.0, (i.1.1.0, (i.1.1.1, i.0))) }