> Kawa has this API for paths: https://www.gnu.org/software/kawa/Paths.html

This raises the important point that we should permit the OS APIs to
accept implementation-defined paths in addition to strings and
bytevectors. If the implementation has a custom 'path' datatype, it
should be passable to any OS procedure that takes a path argument.