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