abstract AllHyeAbs =
  Lang,
  Extend
  ** {}