concrete AllHye of AllHyeAbs =
  LangHye
  **
    {} ;