Not Found: There is no documentation for ghc-proofs-0.1.1. See https://hackage.haskell.org/package/ghc-proofs/candidate/docs/GHC-Proof.html for the latest version.