在Data.Data中，为什么gmapM采用Monad而不是应用程序？

Question

例如，如果要实现MonoTraversable ， gmapM似乎是基于Data.Data编写泛型遍历的明显候选MonoTraversable 。 唯一的麻烦是它需要Monad而不是Applicative 。 这是为什么？ 另外，在假设较弱的情况下，是否有与fmapM类似的功能？

Answer 1

它看起来像是实施Monad-Applicative建议之前的历史细节。

我可以同时定义gmapM默认和方面的实例列表Applicative 。

gmapM :: forall m a. (Data a, Applicative m) => (forall d. Data d => d -> m d) -> a -> m a
gmapM f = gfoldl k pure
  where
    k :: Data d => m (d -> b) -> d -> m b
    k c x = c <*> f x

-- instance Data a => Data [a] where ...
gmapMlist :: forall m a. (Data a, Applicative m) => (forall d. Data d => d -> m d) -> [a] -> m [a]
gmapMlist _   []     = pure []
gmapMlist f   (x:xs) = (:) <$> f x <*> f xs