What are the arguments against FP for IO? In my opinion when working with IO in Haskell the explicit tagging and quarantining of IO is super valuable. There is

What are the arguments against FP for IO? In my opinion when working with IO in Haskell the explicit tagging and quarantining of IO is super valuable. There is a clear, compiler enforced demarcation so you know when to be careful not to launch those missiles.