Simple Quantum Circuit - Quipper Typing CST Test