小编Thu*_*ird的帖子

我正在尝试定义一个实例：

newtype Join a = Join { getJoin :: a -> Bool }
   deriving Generic

instance Monoid (Join a) where
   f <> g = ???
   mempty = ???

目标是如果列表中的所有函数都为真，则函数 foldMap Join 应该返回 True，如果所有函数都不为真，则返回 false。

我了解 foldMap 以及 Monoid 的 Sum 和 Product 实例，但对于编写 Monoid 的 newtype 实例我还是很陌生的。任何在正确方向上的帮助将不胜感激。谢谢你。