haskell - 什么 Haskell 包有单位仿函数/monad？

Question

我正在寻找单位仿函数/monad

data Unit a = Unit

我可以轻松地重新创建它，但我宁愿不复制这种基本的东西。它曾经住在Control.Functor在类别附加包 ( http://hackage.haskell.org/packages/archive/category-extras/0.1/doc/html/Control-Functor.html ) 中。我无法在 Hoogle 中找到它，也无法在类别附加组件所在位置的 map 中找到它 (http://hackage.haskell.org/package/category-extras-1.0.2)

看起来它应该存在于transformers 包中，因为这是Control.Monad.Identity去了(现在是 Data.Functor.Identity )。

我能想出的最接近的现有库代码是

type Unit a = Constant () a

使用 Data.Functor.Constant从变压器包。

Answer 1

Proxy类型可能是你所追求的。