Factorial and Recursion - Haskell Typing CST Test