> Actually, the datatypes were made first class to make I/O layerable in > a first class way.
Ah, that was lost on me! Perfect. If the intent was that moving this one small
part of IO into the "main" document would increase the layerability of the rest
of it, then this is Goodness.