More genericity for IO