concrete AdverbSpa of Adverb = CatSpa ** AdverbRomance with
  (ResRomance = ResSpa) ;