Language.Haskell.Session.Hint.Typecheck