----# -path=.:../abstract:../common:../prelude
--
--concrete AllTel of AllTelAbs = LangTel ;