concrete RelativeSpa of Relative = CatSpa ** RelativeRomance with
  (ResRomance = ResSpa) ;