Tighten IO typespecs (#15555)