I don't think the "Xy monad will taint all your code" stands. I used to think that too, but if you have monadic code M and pure code P, if you need to tie P to M (say at a third callsite C), you just lift the P into the…
I don't think the "Xy monad will taint all your code" stands. I used to think that too, but if you have monadic code M and pure code P, if you need to tie P to M (say at a third callsite C), you just lift the P into the…