abstract AllCatAbs = 
  Lang,
  IrregCatAbs,
  ExtraCatAbs
  ** {} ;