concrete QuestionCat of Question = CatCat ** QuestionRomance with
  (ResRomance = ResCat) ;