对的 Monad 实例

Question

This question 显示(,) a b 的实例定义，其中a 是Monoid 的实例。

但是，我不知道如何为(,) a b 写类似的东西，而b 是Monoid 的一个实例？只要能写出定义，我基本上都可以做到：

instance Monoid b => Monad ((,) ???) where
    return a = (a,mempty)
    ~(a,b) >>= f = let (c,b1) in f a in (c,b `mappend` b1)

那么问题是如何写??? 部分？

更新

实际上，这个问题是一个更通用问题的特例：是否可以编写类型类的实例来作用于某些未出现在末尾的类型？在我的例子中，类型构造函数是(,) a b，我想让它成为Monad a 的实例，其中a 不是最后一个类型参数。

Answer 1

我们可以写，现在同义词不适合这种情况，所以我们使用 newtype：

newtype RevTuple b a = RevTuple { totuple :: (a , b) }

instance Monoid b => Monad (RevTuple b) where
    return a = RevTuple (a,mempty)
    (RevTuple (a,b)) >>= f = 
                 let RevTuple (c,b1) = f a in RevTuple (c,b `mappend` b1)

Answer 2

你不能。 Monad 在其参数中具有多态性至关重要，因此如果特定的 monadish 事物仅对 monoid 有意义，那么它就不是 monad。

例如，return :: Monad m => a -> m a。您无法为return 的签名添加额外的约束。