Map and Filter - Haskell Typing CST Test