$IO can be empty