haskell - (Data.Monoid) - Sum 和 Product 同时导出 Bounded 和 Num？

Question

在Data.Monoid：

newtype Sum a = Sum { getSum :: a }
    deriving ( Eq       -- ^ @since 2.01
             , Ord      -- ^ @since 2.01
             , Read     -- ^ @since 2.01
             , Show     -- ^ @since 2.01
             , Bounded  -- ^ @since 2.01
             , Generic  -- ^ @since 4.7.0.0
             , Generic1 -- ^ @since 4.7.0.0
             , Num      -- ^ @since 4.7.0.0
             )

我不明白你是如何推导出来Num的Bounded，Sum等等Integer......Float这自然不是（这与包装器Bounded的故事相同）。Product

谢谢！

Answer 1

我相当肯定这会产生Sum a一个（比如说）实例，Eq只要a是Eq.

instance (Eq a) => Eq (Sum a) where ...

对于所有其他类也是如此。