Add a motivating comment

Mostly copied from `globalstate.hs`.