--# -path=.:../abstract:../common:../prelude

concrete AllGre of AllGreAbs = 
  LangGre,
  ExtraGre
  ** {} ;