I originally had it top-level and moved it in to this `letfn` since it is not needed anywhere else.  I don't mind moving it back out if that is preferred.