() is a Monoid. Since there is only one value of type (), there's only one thing mempty and mappend could do:
()
Monoid
mempty
mappend
instance Monoid () where mempty = () () `mappend` () = ()