That song “Happy” is one of the rare examples of good, fun non-vulgar popular music written and performed by today’s musicians.
I found it to be as well.