Would fixing it require more than adding instance Semigroup t where (<>) = mappend for every type t that has a Monoid instance? That would be ted

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".