We're used to thinking of fun as a sort of synonym for light pleasure.