()的 Monoid 实例

() 是一个 Monoid。由于 () 只有一个值,mempty 和 mappend 只能做一件事:

instance Monoid () where
    mempty = ()
    () `mappend` () = ()