∀ {cat : Lean.Name} {forceParens : Bool} {cat_1 : Lean.Name} {forceParens_1 : Bool},
  { cat := cat, forceParens := forceParens } = { cat := cat_1, forceParens := forceParens_1 } →
    cat = cat_1 ∧ forceParens = forceParens_1