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

concrete AllLit of AllLitAbs = 
  LangLit,
  ExtendLit
  ** {} ;