I have a bone to pick. There are some types of fun being ignored in gamification.
Removing Urgent Optimism, a serious fail in a gamified system. Urgent Optimism is the idea in gamification that you can win something now.
Funware and Style Points And Truth in Gamification What is it that makes Style points and funware more gimmick than effective and separate awesome from meh
You Can't have the How of Gamification without Understanding Why It Works
I don't know if you have heard of the little gem called Contactually. It's a CRM platform that's a great example of effective gamification of the boring.