I have a feeling from @jameson’s comments in the other thread that I’m drastically underestimating the utility of IO objects. I think they may already do a lot of what I’m describing here. Will look into this more thoroughly and post back here.
The first potential worry that I’m seeing is that read essentially has @noinline, so that will limit things…