abstract AllFinAbs = 
  Lang,
  ExtraFinAbs
  ** {} ;