Recursion with Guards - Haskell Typing CST Test