class Monoid m where
mempty :: m
mappend :: m -> m -> m
mconcat :: [m] -> m
mconcat = foldr mapend mempty
其中m是一個具體類型（:k m = *）锭碳。
注：
<u></u>foldr定義為：
foldr :: (a -> b -> b) -> b -> [a] -> b
foldr step zero (x:xs) = step x (foldr step zero xs)
foldr _ zero [] = zero
Monoid Law
（1）mempty `mapend` x = x
（2）x `mappend` mempty = x
（3）(x `mappend` y) `mappend` z = x `mappend` (y `mappend` z)
Examples
（1）[a]是Monoid類型類的實例
instance Monoid [a] where
mempty = []
mappend = (++)
ghci> [1, 2, 3] `mappend` [4, 5, 6]
[1, 2, 3, 4, 5, 6]
ghci> (“one ” `mappend` “two ”) `mappend` “three”
“one two three”
其中挨稿，:t “one” = [Char]
（2）Any是Monoid類型類的實例
newtype Any = Any { getAny :: Bool }
deriving (Eq, Ord, Read, Show, Bounded)
instance Monoid Any where
mempty = Any False
Any x `mappend` Any y = Any (x || y)
注：
（1）:k Any = *
（2）“instance Monoid Any where”中的Any是類型怨愤，“mempty = Any False”和“Any x `mappend` Any y = Any (x || y)”中的Any是值構(gòu)造器
ghci> getAny $ Any True `mappend` Any False
True
其中getAny是Any類型的字段讀取器。
（3）Maybe a是Monoid類型類的實例
instance Monoid a => Monoid (Maybe a) where
mempty = Nothing
Nothing `mappend` m = m
m `mappend` Nothing = m
Just m1 `mappend` Just m2 = Just (m1 `mappend` m2)
ghci> Nothing `mappend` Just “andy”
Just “andy”
