type II fun

There’s the class of things that are fun while you’re doing them, and another the class of things that are only fun in retrospect, fun to have done.