Seeing the example code made me wonder if this would allow introducing capability based security. E.g. passing an `io` instance to a library which can only read a subtree of the filesystem.
Edit: not quite https://news.ycombinator.com/item?id=44549430