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
             )

我不明白你如何用 Integer 在 Sum 上导出 Num 和 Bounded，Float 等...自然不是 Bounded(Product 包装器也是如此)。

谢谢!

Answer 1

我相当确定这使得 Sum a 成为(比如说)Eq 的实例，只要 a 是 Eq 的实例。

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

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