Well typed file paths and associated operations - View it on GitHub