concrete ExtraRomanceSpa of ExtraRomanceAbs = CatSpa ** ExtraRomance with
  (ResRomance = ResSpa), (Grammar = GrammarSpa) ;