实例 Monoid Monad答案

【问题标题】：instance Monoid Monad实例 Monoid Monad
【发布时间】：2019-07-15 21:47:35
【问题描述】：

Monad 是一个幺半群，但它是一个与Integer 不同的方式。我想知道是否有办法编写Monoid' 和Monad' 使得Integer 和Monad' 都可以表示为相同Monoid' 类型类的实例？

【问题讨论】：

【解决方案1】：

所以，让我们选择一个特定的方式 Integer 有一个 Monoid

instance Monoid Int where
  zero = 0
  plus = (+)

现在是Monad Monoid

{-# LANGUAGE FlexibleInstances #-}
instance Monad m => Monoid (Kleisli m a a) where
  zero = id
  plus = (.)

还有一个

instance MonadPlus m => Monoid (m a) where
  zero = mzero
  plus = mplus

但是，我不确定如何在 Haskell 中临时表达“Monad 是内函子范畴中的幺半群”。

【讨论】：

【解决方案2】：

应 Tikhon 的要求，我将我的评论转化为答案。 This blog post 展示了如何使用种类多态性将 Monad 和 Monoid 统一在同一类型类下。这与 Tel 的回答略有不同，因为 monad 是作为内函子类别中的幺半群实现的，而不是 Kleisli 类别中的幺半群。

【讨论】：