Ev'rybody's Gonna Be Happy was created on 1964-12-23.
Happy with What You Have to Be Happy With was created on 2002-10-08.
To Be Happy was created in 2002.
Happy Happy Good Show was created in 1988.
Happy Hero was created in 1997.
Happy Ending - story - was created in 1949.
Happy Love was created in 1981.
I am going to guess you are refuring to the religon of Catholicism/Christianity. Then yes. In Christianity, the God (the 'king' of the religon if you will), does want his followers to be happy on the world he created.
Happy Songs for Happy People was created on 2003-06-17.
We're Not Happy 'til You're Not Happy was created in 2004.
Slapp Happy was created in 1972.
I Want to Be Happy was created in 1925.
Walking Happy was created in 1966.