标签： haskell ghc
由于Haskell鼓励currying，许多库暴露了高阶构造。这些库无法知道其参数的优点 - 我相信GHC会生成在运行时检查参数的代码（eval / apply）。
我可以检查并保证生成在运行时不检查arity的代码吗？