concrete PhraseCat of Phrase = CatCat ** PhraseRomance with
  (ResRomance = ResCat) ;