Phase Kickback Example - Quipper Typing CST Test