concrete AllFao of AllFaoAbs =
  LangFao
  **
    {} ;