GHZ State Circuit - Quipper Typing CST Test