Somehow, I remember this conversation coming up recently, and I thought it was decided to remove these. Indeed, I'm surprised they're still around. Strike them down!
> On Jan 8, 2020, at 10:38 PM, Alan & Kim Zimmerman <[hidden email]> wrote:
> I have got back into some GHC dev, and noticed that the various ForallXXX type synonyms in Extension.hs are unused in GHC.
> In the early iteration, they were needed, but it seems not any more.
> Is there any reason they should not be removed?
> ghc-devs mailing list
> [hidden email] > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs