concrete AllFao of AllFaoAbs =
  LangFao,
  ExtendFao
  **
    {} ;