Three Types of Fun

There’s this idea that fun comes in different types;: ‘fun’ doesn’t always mean the same thing, and it’s useful to distinguish which type of fun you’re having, or intend to have.