Type-1 Fun: fun as you do it. Eating chocolate, watching a great movie, hanging with friends. Type-2 Fun: not enjoyable real-time, but in retrospect it's fun. Climbing a mountain, doing a big project. Type-3 Fun: not actually fun. #published 2025-03-13