fptools/ghc/tests/typecheck
