是否有默认的多态单元类型haskell

Question

在Haskell中有一个默认的单位类型，即（）。我正在寻找一个多态的（最好是在Hackage中），例如：

data PUT a = PUT

或者可能是多态零型：

data PZT a = PZT (PZT a)

所以，是的，我可以自己写一个，通过上面的陈述。我想在hackage找一个。

我之所以需要它，是因为我有一个具有多个类型参数的类，其中包含一个不使用其中一个参数的函数：

class MyClass a b where
  someFunction :: a
  -- and some other functions

使用此函数“someFunction”时，GHC找不到正确的实例，因此我更改了定义：

class MyClass a b where
  someFunction :: (PUT b) -> a

现在，当我调用某物函数时，我可以使用（PUT::某物类型）作为它的第一个参数，Haskell可以派生出我所指的实例。每次我使用这个技巧时，我都会编写一个新的多态单元类型（它只是一行代码），这给了我在组合不同库时的一些额外工作（因为最好是，我在任何地方都使用相同的构造函数）。我肯定其他人遇到了这个问题，所以也许他们中的一个人在hackage（ghc的数据包管理器）中找到了解决方案？我想进口它。我是在寻找错误的东西，还是它不存在于黑客时代？

Answer 1

我想你要找的通常是代理。自base-4.7以来，它在数据中可用。代理

类似的东西是Const，它在base中可用，因为它比Proxy长，例如，您可以使用Const（）。