concrete CatSwe of Cat = CatScand with
  (DiffScand = DiffSwe) ;