pub fn partial_session_1<A, B>( cont: impl FnOnce(Z) -> PartialSession<(A, ()), B>, ) -> PartialSession<(A, ()), B>where A: Slot, B: Protocol,