I agree broadly with your perspective, but I think "fun" is a little reductive here, or maybe should be better understood as shorthand for something more complex like "having a specific ludic experience." The rules produce something in players who use them, and that thing is experientially...