pub fn partial_session_2<A1, A2, B, F>( cont: impl FnOnce(Z, S<Z>) -> PartialSession<(A1, (A2, ())), B>) -> PartialSession<(A1, (A2, ())), B> where A1: Slot, A2: Slot, B: Protocol,