concrete VerbCat of Verb = CatCat ** VerbRomance with
  (ResRomance = ResCat) ;