Higher-Order Functions - Haskell Typing CST Test