concrete MathDan of Math = CatDan ** MathScand with
  (ResScand = ResDan) ;