Modeling Quantum Computing Constraints: No-Cloning Theorem and Monadic Expressiveness with Type-Level Programming. - Flávio Borin Júnior; Juliana Kaizer Vizzotto (SBLP, 2025)