concrete ExtraRomanceFre of ExtraRomanceAbs = CatFre ** ExtraRomance with
  (ResRomance = ResFre) ;