为什么需要为 Haskell 中的类型类法则明确编写检查（可能使用快速检查）？
例如用于测试字符串幺半群的结合性：
leftIdcheck :: Monoid a => a -> Bool
leftIdcheck a = a <> mempty == a
quickCheck (leftIdcheck :: String -> Bool)
但这工作量太大了！为什么 Haskell 编译器不能在默认情况下自行检查所有这些并告诉我我的类型上的幺半群实例不满足恒等律？
是否有任何库或语言扩展允许我们在编写程序时内置这些检查，而不必单独编写它们？这似乎很容易出错。
在相关说明中，Agda 是否让我们免费获得这些检查/证明，还是我们也必须在那里手动编写它们？
菜鸟在这里。我不确定是否每个函数都应该被柯里化（但这就是我的感觉）。
如果确实如此，那又是怎么回事
(,) 1
抛出错误？它不应该返回一个函数，当应用于另一个值时会给出一个元组吗？
我想用现在可用的 vuejs3 测试版设置一个项目。我想把它编译成es模块，所以我不能使用webpack。
是否有任何可用的种子项目/指南可以使用 rollup 设置 vue3 以发出 es 模块包。