add tests from GHC testsuite