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

concrete AllFin of AllFinAbs = 
  LangFin,
  ExtraFin
  ** {} ;