pub fn session_1<A>(
    cont: impl FnOnce(Z) -> PartialSession<(Empty, ()), A>
) -> Session<A> where
    A: Protocol