> Isn't fun (a form of happiness) what we are all striving to be able to have more of?

No, we are not all striving to have more happiness (although some people surely are). So long as you don't circularly define happiness as "that feeling you get when you accomplish your goals", then most people have at least some goals besides happiness, and some of us explicitly advocate that many or most goals should not be happiness related.