Update docs for changes to type-checking plugins
There was no mention of the changes to type-checking plugins
in the 9.4.1 notes, and the extending_ghc
documentation contained
a reference to an outdated type.
There was no mention of the changes to type-checking plugins
in the 9.4.1 notes, and the extending_ghc
documentation contained
a reference to an outdated type.