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

concrete AllSom of AllSomAbs =
  LangSom,
  ExtendSom
  ** {} ;