Would fixing it require more than adding

    instance Semigroup t where
        (<>) = mappend

for every type t that has a Monoid instance? That would be tedious for sure, and very frustrating that a maintainer wouldn't support their package sufficiently well to do that for you, but still seems to fall under the description of "mechanical".