concrete RelativeDan of Relative = CatDan ** RelativeScand with
  (ResScand = ResDan) ;