concrete CatDan of Cat = CommonX ** CatScand with
  (ResScand = ResDan) ;