Quantum Fourier Transform Circuit - Quipper Typing CST Test