Почему Int не реализует «моноид»?

Question

Учитывая Maybe Int, я попытался сделать это mappend.

$let x = Just 55 :: Maybe Int 

$mappend x x 

<interactive>:126:1: 
    No instance for (Monoid Int) arising from a use of `mappend' 
    In the expression: mappend x x 
    In an equation for `it': it = mappend x x 

Глядя на Maybe, я вижу:

Monoid а => Monoid (Может быть)

Поскольку Int не реализует Monoid типа класса, который объясняет, почему я могу Использовать mappend с Maybe Int.

Но я запомнила LYAH, что я могу использовать Sum:

ghci> let x = Sum 55 
ghci> mappend x x 
Sum {getSum = 110} 

Но, почему не Int Моноид?

Answer 1

Int не является Monoid, потому что существует более одного очевидного Monoid осуществления для Int.

instance Monoid Int where 
    mempty = 0 
    mappend = (+) 

instance Monoid Int where 
    mempty = 1 
    mappend = (*) 

newtype s Sum и Product определены в Data.Monoid позволяют легко выбрать, какой Monoid экземпляр для использования с номерами.