concrete NounSpa of Noun = CatSpa ** NounRomance with
  (ResRomance = ResSpa) ;