concrete ExtraScandSwe of ExtraScandAbs = CatSwe ** ExtraScand with
  (ResScand = ResSwe) ;