concrete ConjunctionIta of Conjunction = CatIta ** ConjunctionRomance with
  (ResRomance = ResIta) ;