發送短信: Higher semantics of quantum protocols