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

concrete AllPol of AllPolAbs = 
  LangPol,
  ExtraPol
  ** {} ;