haskell - 是否有一个单子(monad)的术语也是一个共单子(monad)？

Question

我只是想知道是否有一个简洁的术语来表示既是单子(monad)又是单子(monad)的东西。我做了一些搜索，我知道these structures exist ，但我还没有找到他们的名字。

Answer 1

在某些条件下，这种生物有时被称为“Hopf monad”或“Bimonad”(http://ncatlab.org/nlab/show/Hopf+monad)。

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