为了理解文章的意思，请花一点时间考虑Haskell中的
Monoid类型类。一个monoid是任何具有函数
mappend :: T -> T -> T和恒等元素
mempty :: T的类型
T，其中以下内容成立。
a `mappend` (b `mappend` c) == (a `mappend` b) `mappend` c
a `mappend` mempty == mempty `mappend` a == a
有许多Haskell类型符合这个定义。立即想到的一个例子是整数，我们可以定义如下。
instance Monoid Integer where
mappend = (+)
mempty = 0
你可以确认所有要求都被满足。
a + (b + c) == (a + b) + c
a + 0 == 0 + a == a
的确，这些条件适用于所有加法中的数字，因此我们也可以定义以下内容。
instance Num a => Monoid a where
mappend = (+)
mempty = 0
所以现在，在 GHCi 中，我们可以执行以下操作。
> mappend 3 5
8
> mempty
0
特别注意细心的读者（或数学背景的人）可能已经注意到，我们也可以为乘法定义一个
Monoid实例，用于数字。
instance Num a => Monoid a where
mappend = (*)
mempty = 1
a * (b * c) == (a * b) * c
a * 1 == 1 * a == a
但是现在编译器遇到了一个问题。对于数字，应该使用哪个mappend定义呢？mappend 3 5等于8还是15？它无法决定。这就是为什么Haskell不允许单个typeclass的多个实例。然而，问题仍然存在。我们应该使用哪个Num的Monoid实例？两者都是完全有效的，并且在某些情况下是有意义的。解决方案是使用任何一个都不用。如果您在Hackage中查找Monoid，您会发现没有Num的Monoid实例，也没有Integer、Int、Float或Double的Monoid实例。相反，Sum和Product有Monoid实例，定义如下。
newtype Sum a = Sum { getSum :: a }
newtype Product a = Product { getProduct :: a }
instance Num a => Monoid (Sum a) where
mappend (Sum a) (Sum b) = Sum $ a + b
mempty = Sum 0
instance Num a => Monoid (Product a) where
mappend (Product a) (Product b) = Product $ a * b
mempty = Product 1
现在，如果您想将数字用作
Monoid，则必须将其包装在
Sum或
Product类型中。您使用的类型确定使用哪个
Monoid实例。这就是文章试图描述的本质。Haskell的类型类系统中没有内置的系统允许您在多个实例之间进行选择。相反，您必须通过包装和解包它们来跳过骨架类型。现在，无论您是否认为这是一个问题，这在很大程度上决定了您喜欢Haskell还是ML。
ML通过允许在不同模块中定义相同类和类型的多个“实例”来解决这个问题。然后，导入哪个模块决定了您使用的“实例”。 （严格来说，ML没有类和实例，但它确实具有签名和结构，可以起到几乎相同的作用。有关更详细的比较，请阅读this paper。）
