我正在寻找单位functor / monad
data Unit a = Unit
我可以轻松地重新创建它，但我宁愿不复制这个基本的东西。它曾经在category-extras包（http://hackage.haskell.org/packages/archive/category-extras/0.1/doc/html/Control-Functor.html）中居住在Control.Functor。我无法通过Hoogle找到它，或者在类别附加功能所在的地图中找到它（http://hackage.haskell.org/package/category-extras-1.0.2）
它似乎应该存在于变形金刚包中，因为那是Control.Monad.Identity所在的地方（现在是Data.Functor.Identity）。
我能提出的最近的现有库代码是
type Unit a = Constant () a
使用变形金刚包中的Data.Functor.Constant。