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