Quantum programming is undergoing a significant transformation with the introduction of high-level structured programs composed of quantum registers. This approach aims to alleviate the cognitive load on programmers, who currently design programs at the level of individual quantum gates and qubits, a method that becomes increasingly complex and error-prone for large-scale problems. By providing higher abstraction mechanisms, quantum programming can become more manageable and less prone to errors. Researchers have proposed a new framework that enables the composition of quantum registers to create high-level quantum programs, potentially simplifying the development of complex quantum applications. This development has significant implications for the field of quantum computing, as it can facilitate the creation of more sophisticated quantum programs and accelerate progress in areas like quantum cryptography and simulation. The ability to write more abstract and composable quantum code matters to practitioners because it can reduce the barriers to entry for quantum programming and enable more widespread adoption of quantum technologies1.