concrete ExtraRomanceCat of ExtraRomanceAbs = CatCat ** ExtraRomance with
  (ResRomance = ResCat) ;