Well I *do* have that idea for a nice programming model for quantum computing that leverages the superposition of states not just for data, but for type information as well to give a superpositional polymorphism... does that help? :)