Գրեք սա: Higher semantics of quantum protocols