concrete NounDan of Noun = CatDan ** NounScand with
  (ResScand = ResDan) ;