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

concrete AllSnd of AllSndAbs =
  LangSnd,
  ExtraSnd
  ** {} ;