I noticed std::Path has the Path type, but are there any recommended libraries that have type-level differentiation between Directories and Files? Of course it would be easy to roll one's own newtype, but thought I'd check before I did so.
In Haskell, while there are several libraries that do this, the one that I'm familiar with the most (and I gather is the most popular) is path.