（）的 Monoid 例項

() 是一個 Monoid。由於 () 只有一個值，mempty 和 mappend 只能做一件事：

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