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