abstract AllHinAbs =
  Lang,
  ExtraHinAbs
  ** {} ;