You can use either inside IO just fine if you want...
# arrow
r
You can use either inside IO just fine if you want it to be a return value disjuntion