{α : Type} →
  {motive : Lean.Parser.AliasValue α → Sort u} →
    (t : Lean.Parser.AliasValue α) →
      ((p : α) → motive (Lean.Parser.AliasValue.const p)) →
        ((p : α → α) → motive (Lean.Parser.AliasValue.unary p)) →
          ((p : α → α → α) → motive (Lean.Parser.AliasValue.binary p)) → motive t