Pure Functions - Haskell Typing CST Test