{α : Type} →
  [Lean.Compiler.LCNF.Simp.ConstantFold.Literal α] →
    [BEq α] →
      (neutral : α) →
        (op : α → α → α) →
          autoParam (∀ (x : α), op neutral x = x) Lean.Compiler.LCNF.Simp.ConstantFold.Folder.leftRightNeutral._auto_1 →
            autoParam (∀ (x : α), op x neutral = x)
                Lean.Compiler.LCNF.Simp.ConstantFold.Folder.leftRightNeutral._auto_3 →
              Lean.Compiler.LCNF.Simp.ConstantFold.Folder