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

Question

在写下this answer ，主要是为了更好地理解对作为单子(monad)，我偶然发现了this source code在我读到的 Hackage 上，引用 (,) a 的 Monad 实例只有这个

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

返回在哪里？？？我希望能找到类似的东西

    return a = (mempty, a)

除了上面的两行。 return 的这个定义是否以某种方式被其他东西暗示了？或者它可能是在其他地方定义的？

Answer 1

在现代版本的 Haskell 中(特别是 base 版本 4.8.0.0 和更高版本，对应于 GHC 版本 7.10.1 和更高版本)，the Monad class has the default implementation return = pure ，所以它的实例只需要定义>>=。这是 Functor-Applicative-Monad Proposal 的结果.