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