Didn't realise that iolist was defined that way but yes that makes sense.