fptools/testsuite/tests/ghc-regress/typecheck/prog001
