Proposal: Remove Semigroup and Monoid instances for Data.Map, Data.IntMap, Data.HashMap

Herbert Valerio Riedel hvriedel at
Tue Feb 13 22:48:06 UTC 2018


On 2018-02-13 at 17:41:25 -0500, David Feuer wrote:
> We may not have to be *quite* as long-winded as I initially suggested,
> but I don't think your way is sufficiently long-winded. The advantage
> of removing the instances first and then adding them back is that the
> version(s) without the instances will make compilation of every single
> package that uses them fail. The way you suggest, if someone has a
> package using containers or unordered-containers, they don't even have
> a simple way to find out whether they need to make changes. On the
> opposite side, Chris Wong's suggestion would let us be very explicit,
> with a type error that warns users that the instance is missing
> *because it is changing* and that no code using the instance will work
> for both 0.* and 1.* versions.

Alright, then let's do a little Gedankenexperiment; what if you release
a containers- (which drops the instances) and a
containers- (which 'adds back' the desired new instances) on the
same day!

...wouldn't this allow us to have the cake and eat it too? ;-)

More information about the Libraries mailing list