concrete QuestionSpa of Question = CatSpa ** QuestionRomance with
  (ResRomance = ResSpa) ;