It's not a theoretical impossibility: you can wrap every function call in a monad today if you want. It's just a practical nightmare.