我有一个包装函数的newtypenewtype Operation a b = Operation (a -> b) 我想为这个数据类型编写一个Show实例,提供像"Operation(Int ->String)"这样的信息。为此,我需要访问show实现中的类型变量a和b的值。这个是可能的吗? 我会说不,但Haskell从未停下来让我惊讶,所以我想
在(GHC) Haskell中有可能定义一个存在量化的新类型吗?我知道如果涉及类型类,它不能在字典传递实现中完成,但就我的目的而言,类型类是不需要的。我真正想定义的是:但GHC似乎并不喜欢它。目前我使用的是data Key t where Key :: !定义一个与上面的newtype版本具有相同语义和开销的<e