/testsuite/bsc.typechecker/deriving/