Fixing type synonyms to Uniq(D)FM newtypes

Andreas Klebinger klebinger.andreas at
Tue Jun 23 21:55:00 UTC 2020

There was a discussion about making UniqFM typed for the keys here a
while ago.
and following)

I wrote up an MR for one possible approach here:

It implements solution 2 from that discussion.

Just while getting the patch to typecheck I've already seen a number of
cases where this increased
readability of the code quite a bit so I think it's a good improvement.

If there are strong objections to this solution let me know. In that
case I'm happy to abandon the patch.
If not I will clean it up and get it ready for merging.

More information about the ghc-devs mailing list