Resolving dependencies... cabal: Could not resolve dependencies: [__0] trying: liquid-bytestring-0.10.10.0 (user goal) [__1] trying: liquidhaskell-0.8.10.1 (dependency of liquid-bytestring) [__2] trying: template-haskell-2.14.0.0/installed-2.14.0.0 (dependency of liquidhaskell) [__3] next goal: ghc-boot (dependency of liquidhaskell) [__3] rejecting: ghc-boot-8.6.3/installed-8.6.3 (conflict: liquid-bytestring => bytestring>=0.10.10.0 && <0.11, ghc-boot => bytestring==0.10.8.2/installed-0.10.8.2) [__3] rejecting: ghc-boot-8.8.3 (conflict: template-haskell => ghc-boot-th==8.6.3/installed-8.6.3, ghc-boot => ghc-boot-th==8.8.3) [__3] rejecting: ghc-boot-8.8.1 (conflict: template-haskell => ghc-boot-th==8.6.3/installed-8.6.3, ghc-boot => ghc-boot-th==8.8.1) [__3] rejecting: ghc-boot-8.6.5 (conflict: template-haskell => ghc-boot-th==8.6.3/installed-8.6.3, ghc-boot => ghc-boot-th==8.6.5) [__3] rejecting: ghc-boot-8.6.4 (conflict: template-haskell => ghc-boot-th==8.6.3/installed-8.6.3, ghc-boot => ghc-boot-th==8.6.4) [__3] rejecting: ghc-boot-8.6.1 (conflict: template-haskell => ghc-boot-th==8.6.3/installed-8.6.3, ghc-boot => ghc-boot-th==8.6.1) [__3] rejecting: ghc-boot-8.4.4, ghc-boot-8.4.3, ghc-boot-8.4.2, ghc-boot-8.4.1 (conflict: template-haskell => base==4.12.0.0/installed-4.12.0.0, ghc-boot => base>=4.8 && <4.12) [__3] rejecting: ghc-boot-8.2.2, ghc-boot-8.2.1 (conflict: template-haskell => base==4.12.0.0/installed-4.12.0.0, ghc-boot => base>=4.8 && <4.11) [__3] rejecting: ghc-boot-8.0.2, ghc-boot-8.0.1 (conflict: template-haskell => base==4.12.0.0/installed-4.12.0.0, ghc-boot => base>=4.7 && <4.10) [__3] fail (backjumping, conflict set: ghc-boot, liquid-bytestring, liquidhaskell, template-haskell) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: base, template-haskell, liquid-bytestring, liquidhaskell, ghc-boot Try running with --minimize-conflict-set to improve the error message.