haskell - 不是仿函数(或不可遍历)的可折叠示例？

Foldable 实例可能是某种容器，因此也可能是Functor。的确，this说



那么，有没有一个Foldable的示例，它自然不是Functor或Traversable？ (也许Haskell Wiki页面错过了:-))

最佳答案

这是一个完整的参数示例:

data Weird a = Weird a (a -> a)

instance Foldable Weird where
  foldMap f (Weird a b) = f $ b a

Weird不是Functor，因为a出现在负位置。