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

concrete AllTha of AllThaAbs = LangTha ;