concrete ConjunctionCat of Conjunction = CatCat ** ConjunctionRomance with
  (ResRomance = ResCat) ;