Choice for IO and lifted IO