Resolving dependencies... cabal: Could not resolve dependencies: [__0] trying: PropaFP-0.1.0.0 (user goal) [__1] trying: temporary-1.3 (dependency of PropaFP) [__2] trying: transformers-0.5.6.2/installed-0.5.6.2 (dependency of temporary) [__3] trying: exceptions-0.10.4/installed-0.10.4 (dependency of temporary) [__4] trying: template-haskell-2.16.0.0/installed-2.16.0.0 (dependency of exceptions) [__5] next goal: ghc (dependency of PropaFP) [__5] rejecting: ghc-8.10.2/installed-8.10.2 (conflict: PropaFP => ghc>=9.0.2 && <9.1) [__5] skipping: ghc-9.2.3, ghc-9.2.2, ghc-9.2.1 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=9.0.2 && <9.1' from 'PropaFP') [__5] rejecting: ghc-9.0.2 (conflict: template-haskell => ghc-boot-th==8.10.2/installed-8.10.2, ghc => ghc-boot-th==9.0.2) [__5] rejecting: ghc-8.10.7 (conflict: PropaFP => ghc>=9.0.2 && <9.1) [__5] skipping: ghc-8.10.2, ghc-8.10.1, ghc-8.8.3, ghc-8.8.1, ghc-8.6.5, ghc-8.6.4, ghc-8.6.1, ghc-8.4.4, ghc-8.4.3, ghc-8.4.1, ghc-8.2.2, ghc-8.2.1, ghc-9.2.3.20220620 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=9.0.2 && <9.1' from 'PropaFP') [__5] fail (backjumping, conflict set: PropaFP, ghc, template-haskell) After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: template-haskell, exceptions, PropaFP, ghc, transformers, base, temporary Try running with --minimize-conflict-set to improve the error message.