“Hard fun is, of course, the idea that we take pleasure in accomplishing something difficult: the joy in meeting and mastering a challenge. As a result, when someone is doing something that is hard fun, moment by moment it looks more like "work" than "fun," but the net effect is pleasurable overall.”