concrete ExtraScandDan of ExtraScandAbs = CatDan ** ExtraScand with
  (ResScand = ResDan) ;