concrete ExtraRomanceIta of ExtraRomanceAbs = CatIta ** ExtraRomance with
  (ResRomance = ResIta) ;