concrete ConjunctionFre of Conjunction = CatFre ** ConjunctionRomance with
  (DiffRomance = DiffFre) ;