Infinite Lists - Haskell Typing CST Test