要求代码中定义的特定Haskell类型无效

是否可以指示GHC编译器要求代码中的特定值具有无效类型,而无需使用该值?

一个人为的例子是:

data Box a = Num a => Box a

goodBoxSample :: Box Int
goodBoxSample = Box 1

-- below definition and binding are expected to fail compilation
badBoxSample :: Box String
badBoxSample = Box "foo"

有没有一种方法可以通知编译器badBoxSample可能会失败(例如,带有一些杂注,而不是将其注释为已知的错误样本),以便仅在badBoxSample无法进行类型检查时才编译代码?

这里的动机与编写测试(使用某种其他语言)和引发异常以通过测试用例所需的代码相同。