()是一个Monoid。由于只有一个类型的值()，只有一个东西mempty，并mappend可以这样做：
instance Monoid () where mempty = () () `mappend` () = ()