Issues with installing QuickCheck

Question

I am having issues with installing QuickCheck for Haskell using GHC 9.4.4 and GHC 8.8.4, and I get the same output. Any assistance would be greatly appreciated!

Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] next goal: ghc (user goal)
[__0] rejecting: ghc-9.4.4, ghc-9.4.3, ghc-9.4.2, ghc-9.4.1, ghc-9.2.6,
ghc-9.2.5, ghc-9.2.4, ghc-9.2.3, ghc-9.2.2, ghc-9.2.1, ghc-9.0.2, ghc-8.10.7,
ghc-8.10.2, ghc-8.10.1 (constraint from user target requires ==8.8.4)
[__0] trying: ghc-8.8.4/installed-8.8...
[__1] next goal: process (user goal)
[__1] rejecting: process-1.6.17.0 (constraint from user target requires
==1.6.16.0)
[__1] rejecting: process-1.6.16.0 (conflict: ghc =>
process==1.6.9.0/installed-1.6...)
[__1] rejecting: process-1.6.15.0, process-1.6.14.0, process-1.6.13.2,
process-1.6.13.1, process-1.6.12.0, process-1.6.11.0, process-1.6.10.0,
process-1.6.9.0/installed-1.6..., process-1.6.9.0, process-1.6.8.2,
process-1.6.8.1, process-1.6.8.0, process-1.6.7.0, process-1.6.6.0,
process-1.6.5.1, process-1.6.5.0, process-1.6.4.0, process-1.6.3.0,
process-1.6.2.0, process-1.6.1.0, process-1.6.0.0, process-1.5.0.0,
process-1.4.3.0, process-1.4.2.0, process-1.4.1.0, process-1.4.0.0,
process-1.3.0.0, process-1.2.3.0, process-1.2.2.0, process-1.2.1.0,
process-1.2.0.0, process-1.1.0.2, process-1.1.0.1, process-1.1.0.0,
process-1.0.1.5, process-1.0.1.4, process-1.0.1.3, process-1.0.1.2,
process-1.0.1.1, process-1.0.0.0, process-1.6.13.0 (constraint from user
target requires ==1.6.16.0)
[__1] fail (backjumping, conflict set: ghc, process)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: process, ghc

I tried to installing it with both GHC 9.4.4 and GHC 8.8.4. Also tried updating GHC and cabal

EDIT: Okay, here's the original problem; I'm trying to write some Haskell code in VS Code, but I'm getting an error highlight in every .hs file in the first line, and the rest of the code is not checked. When I hover on the error underline, it says that ghcide compiled by GHC 8.8 failed to load packages, which includes QuickCheck and random1.1. I tried to reinstall QuickCheck, and the above error is what I got. My conclusion is that I have an older compiler at work. Then I check cabal version (3.0.0.0) and GHC version (8.4.4), which are both old and I want to update, but I can't seem to do so. I did ghcup install cabal 3.8.1.0 and I get a message that is shadowed by another PATH. I tried to change PATH, but that did not help.