[`Lean.Macro] : List Name
[(`Nat.succ, [])] : List (Lean.Name × List ?m)