Zip and List Comprehension - Haskell Typing CST Test