Define SpecConstrAnnotation in GHC.Exts, and import it from there

No match.