pub fn append_emtpy_slot<C, A>(
    cont: PartialSession<C, A>
) -> PartialSession<C::Appended, A> where
    A: Protocol,
    C: AppendContext<(Empty, ())>,