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?

Alan