Carbon taxes are a good first step. I would prefer a “qualia tax” where suffering inflicted to animals is quantified using Dennettian heterophenomenology and category theory.

From there we can assign a mathematical value to suffering imposed and calculate an appropriate taxation level.

I once had a friend propose this over dinner when I was still living in LA. He himself was in touch with many of Dennet’s students.