Narrowed `Data.Monoid` re-exports
Simplified more prelude types