pub fn partial_session<C, A>(
    cont: PartialSession<(), A>
) -> PartialSession<C, A> where
    C: EmptyContext,
    A: Protocol