Use GHC 8.4.4 to overcome Windows build problem.
Use GHC 8.4.4 to overcome Windows build problem.

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell