plusGRE can be leaky
The fields of GlobalRdrElt are not strict and therefore plusGRE can lead to thunk leaks as the
values are not forced after being combined together.
In particular I have seen a build-up of thunks in the gre_imp field.
I observed this using ghc-debug on ghcide.