∀ (unexpectedTk : Lean.Syntax) (unexpected : String) (expected : List String),
  sizeOf { unexpectedTk := unexpectedTk, unexpected := unexpected, expected := expected } =
    1 + sizeOf unexpectedTk + sizeOf unexpected + sizeOf expected