Telefona gönder: Higher semantics of quantum protocols