Maybe Type - Haskell Typing CST Test