When someone raised adding Semigroup during 

the (<>) = mappend proposal the idea was quickly derided

and dismissed.