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