concrete VerbSpa of Verb = CatSpa ** VerbRomance with
  (ResRomance = ResSpa) ;