concrete AdverbCat of Adverb = CatCat ** AdverbRomance with
  (ResRomance = ResCat) ;