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`.