concrete ConjunctionSpa of Conjunction = CatSpa ** ConjunctionRomance with
  (ResRomance = ResSpa) ;