haskell - semigrupo - Distinción entre las clases de tipos MonadPlus, Alternativa y Monoide?

haskell - semigrupo - ¿Por qué Int no implementa ''Monoide''?