Deakstadieđáhus: Higher semantics of quantum protocols