normalizing well-typed path type; documentation

 This packages provides support for well-typed paths in Haskell.
 .
 This package provides the documentation for a library for the Haskell
 programming language.
 See http://www.haskell.org/ for more information on Haskell.