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