concrete ConjunctionDan of Conjunction = CatDan ** ConjunctionScand with
  (ResScand = ResDan) ;