Show example of using IO in a validator function