path
=====

Support for well-typed paths in Haskell.