`StrMap` and `Map String` instances inconsistent

[Risto-Stevcev]

why does StrMap have stricter instances than Map String?

(Ord k) => Monoid (Map k v)
vs
(Semigroup a) => Monoid (StrMap a)

in this case StrMap is stricter, because Monoid (Map String v) doesn't restrict v in any way

Shouldn't StrMap and Map String have the same kind of instances? or at least worst-case StrMap should have less strict instances because the key is known to be String?

[hdgarrood]

I think this is a duplicate of #94?

[paf31]

Yes