concrete RelativeCat of Relative = CatCat ** RelativeRomance with
  (ResRomance = ResCat) ;