concrete SentenceCat of Sentence = CatCat ** SentenceRomance with
  (ResRomance = ResCat) ;