abstract AllGreAbs = 
  Lang,
  ExtraGreAbs
  ** {} ;