Function Composition - Haskell Typing CST Test