Take a look at https://hackage.haskell.org/package/path-0.9.0/docs/Path-Posix.html -> stripProperPrefix and isProperPrefixOf. We want to implement that same function here.