[Bug 1786831] Review Request: ghc-path - Support for well-typed paths