Add an example to liftIO and explain its purpose
This MR adds a real-world example for liftIO
, showing how necessary it is in the context of a monad stack.
It is quite large for a single examples, but I could not find a practical example that would explain the situation better.
Feel free to comment.
PS: I'm a bit unsure about having to commit the submodules' update. Should I keep this commit?
PPS: I am also looking for grammar corrections, as I am not a native speaker.
Rendered:
cc @carter / @core-libraries
Tracking: #17929