GhcT package:apply-refact

See Note [NoGhcTc] in GHC.Hs.Extension. It has to be in this module because it is used like an extension point (in the data definitions of types that should be parameter-agnostic.

Extension constructor for Pat, added after typechecking.