大體型的半身像

Question

我正在嘗試學習haskell，並閱讀haskellbook。

在書中，作者提到了較大的類型，如下所示：

instance Monoid b => Monoid (a -> b)
instance (Monoid a, Monoid b) => Monoid (a, b)
instance (Monoid a, Monoid b, Monoid c) => Monoid (a, b, c)

這些Monoid的共同之處在於，它們通過重用表示較大類型組件的類型的Monoid實例，為較大的類型提供了新的Monoid。

對於較大的數據類型，他是什么意思？

Answer 1

我認為作者的意思是：一個元組可能包含一些Monoid實例a ， b和c 。 但是，我們可以集中查看這些元組中的Monoid實例，從而定義類型為(a, b, c)的新Monoid 。 因此，從3個較小的Monoid實例組合成一個元組，將在(a, b, c)產生一個“較大”的Monoid實例。