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