为什么 Hackage 上的对的 Monad 实例没有返回实现？

Question

在写下这个答案时，主要是为了更好地理解对作为 monads 的理解，我偶然发现了我阅读的 Hackage 上的源代码Monad，(,) a仅参考了这个实例

instance Monoid a => Monad ((,) a) where
    (u, a) >>= k = case k a of (v, b) -> (u <> v, b)

在哪儿return？？？我希望能找到这样的东西

    return a = (mempty, a)

除了上面的两行。这个定义是否return以某种方式隐含在其他事物中？或者它可能是在其他地方定义的？

Answer 1

在Haskell的现代版本（具体base版本4.8.0.0和更新，对应于GHC版本7.10.1和更新版本），该Monad班有默认实现return = pure，所以它的情况下，只需要定义>>=。这是Functor-Applicative-Monad 提案的结果。