CurryInfo: base-3.4.0 / Prelude.Monoid

 
class Monoid a where
  mempty  :: a
  mappend :: a -> a -> a
  mconcat :: [a] -> a

  mconcat = foldr mappend mempty

 
The class `Monoid` defines types with an associative
binary operation `mappend` having an identity `mempty`.

 ["mempty :: a","mappend :: a -> a -> a","mconcat 0 :: [a] -> a"]

 Monoid