Stick: A Language for Statically Typed Filesystem Manipulation