Perché Int non implementa 'Monoid'?

Question

Dato un Maybe Int, ho provato a mappend a se stesso.

$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 

Guardando Maybe, vedo:

Monoide a => Monoide (Forse un)

Dal Int non implementa Monoid tipo di classe, che spiega perché posso utilizzare mappend con Maybe Int.

Ma, mi sono ricordato da LYAH che posso usare Sum:

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

Ma, perché non è un Int Monoide?

Answer 1

Int non è un Monoid perché è presente più di un'implementazione Monoid evidente per Int.

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

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

Il newtype s Sum e Product definito nel Data.Monoid consentono di selezionare facilmente quale Monoid esempio da utilizzare con i numeri.