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