Very cool effort, and nice to see another strongly typed path library!

[Martinsos]

Hi, just wanted to commend the library - I implemented a very similar library in Haskell some time ago and got an idea today to look for similar libraries in other languages, and this was the most similar I found - I am surprised there are not more in other languages!
I mostly just wanted to connect and encourage any cross-pollination -> for example StrongPath has support for differentiating paths with different standards (posix vs windows) so that might be interesting for Phat at some point. I might also take some time at some point to read more though Phat to look for some inspiration.
Best luck!