Haskell 有没有一个单子的术语也是一个单子？

我只是想知道是否有一个简洁的术语，既可以是单子，也可以是单子。我做了一些搜索，我知道，但我还没有找到他们的名字

据我所知，没有术语来定义它，因为monad comonad不会强制执行任何操作：您始终可以执行

返回

以进入，或执行

提取

以退出

---

由于类型用于强制执行某些约束，因此过于宽松的约束没有任何用处。由于没有人会使用它（除了身份），可能没有人会费心给它命名。

这种生物，在某些条件下，有时被称为“Hopf monad”或“Bimonad”（）

---

然而，这也需要满足一些关于分配属性的公理，我还没有看到它在编程环境中以任何特定的方式出现。

同时是X和co-X的东西通常被称为“bi-X”，所以可能是“bimonad”？我不知道人们是否真的使用了“双频”这个词。@KeshavKini:双频的概念与。。。。你是在问天主教理论概念的名称吗？在这种情况下，你的问题完全脱离主题，应该在computerscience.SE上提问。如果你问这样一个问题是否存在类型类，它的状态是这样的，这样你的问题就变得与编程更相关，尽管我仍然怀疑它是否可以在主题上考虑，因为它基本上是一个外部资源搜索。问题是，如果你有一个返回函数和一个提取函数，那么你的（co）-monad没有真正的用处，因为它基本上不强制执行任何内容。另一方面，也许你想到的是箭头，它位于单子和单子的交叉点。我看不出你的论点。你似乎是在说，没有有趣的单子也是单子。这是错误的，讨论了这样的函子；这些都是明显的例子。无论如何，

return

和

extract

都不需要有特定的关系，也不需要知道对方。我想

extract。return

必须始终是

id

，但是

return。extract

绝不是一件小事。我没有想到这一点，请您给出一个非身份

返回的最小示例。提取

？我对哈斯克尔不太好，无法通过这个有趣的讨论找到一个。（我将此问题设置为wiki，以便可以轻松编辑（我对so策略还是新手，所以我不确定这是否是实现此目的的方法））

return。提取$nonEmpty[1,2,3]

产生

nonEmpty[1]

。