Unit testing 如何验证Purescript类型类规则？

我在Purescript代码中广泛使用了来自库和我自己的类型类。每个类型类法则似乎都提供了一个很好的测试。目前，我正在为每门课和每项法律单独编写测试。有没有一种方法可以部分自动化这一过程？也许像Haskell的，我承认，我没有尝试过。

这里有针对公共核心类的测试：

---

我需要打破各种法律，使他们可以独立使用太理想，但也许这将符合你的需要无论如何

这让我走了很长的路，也为我自己的类测试提供了一个模板。谢谢