@raphkoster @tobowers One can have fun without learning, or learning without fun, so Crawford's definition doesn't make sense to me as stated.
I also think it would be strange to say fun isn't emotion. It's basically a very vague label for a collection of triumph/pride/competitive/social emotions