（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 ...

同样适用于所有其他课程。