Resolving dependencies... Starting StateVar-1.2 Starting cabal-doctest-1.0.8 Starting base-orphans-0.8.3 Starting base-compat-0.11.2 Building StateVar-1.2 Building cabal-doctest-1.0.8 Building base-orphans-0.8.3 Building base-compat-0.11.2 Completed StateVar-1.2 Starting call-stack-0.2.0 Building call-stack-0.2.0 Completed cabal-doctest-1.0.8 Starting cmdargs-0.10.20 Building cmdargs-0.10.20 Completed call-stack-0.2.0 Starting dlist-1.0 Building dlist-1.0 Completed base-orphans-0.8.3 Starting hashable-1.3.0.0 Building hashable-1.3.0.0 Completed base-compat-0.11.2 Starting integer-logarithms-1.0.3 Building integer-logarithms-1.0.3 Completed dlist-1.0 Starting parallel-3.2.2.0 Building parallel-3.2.2.0 Completed integer-logarithms-1.0.3 Starting pcre-light-0.4.1.0 Building pcre-light-0.4.1.0 Completed hashable-1.3.0.0 Starting pretty-terminal-0.1.0.0 Building pretty-terminal-0.1.0.0 Completed parallel-3.2.2.0 Starting primitive-0.7.1.0 Building primitive-0.7.1.0 Completed pcre-light-0.4.1.0 Starting reflection-2.1.6 Building reflection-2.1.6 Completed pretty-terminal-0.1.0.0 Starting safe-0.3.19 Building safe-0.3.19 Completed safe-0.3.19 Starting semigroups-0.19.1 Building semigroups-0.19.1 Completed reflection-2.1.6 Starting splitmix-0.1.0.3 Building splitmix-0.1.0.3 Completed semigroups-0.19.1 Starting tagged-0.8.6 Building tagged-0.8.6 Completed splitmix-0.1.0.3 Starting th-abstraction-0.4.0.0 Building th-abstraction-0.4.0.0 Completed tagged-0.8.6 Starting transformers-compat-0.6.6 Building transformers-compat-0.6.6 Completed cmdargs-0.10.20 Starting type-equality-1 Building type-equality-1 Completed primitive-0.7.1.0 Starting utf8-string-1.0.1.1 Completed type-equality-1 Starting void-0.7.3 Building utf8-string-1.0.1.1 Building void-0.7.3 Completed th-abstraction-0.4.0.0 Starting contravariant-1.5.2 Completed transformers-compat-0.6.6 Starting time-compat-1.9.3 Completed void-0.7.3 Starting base-compat-batteries-0.11.2 Building contravariant-1.5.2 Building time-compat-1.9.3 Building base-compat-batteries-0.11.2 Completed utf8-string-1.0.1.1 Starting unordered-containers-0.2.13.0 Completed time-compat-1.9.3 Starting data-fix-0.3.0 Building unordered-containers-0.2.13.0 Completed contravariant-1.5.2 Starting random-1.2.0 Building data-fix-0.3.0 Building random-1.2.0 Completed base-compat-batteries-0.11.2 Starting distributive-0.6.2 Completed data-fix-0.3.0 Starting vector-0.12.1.2 Building vector-0.12.1.2 Building distributive-0.6.2 Completed random-1.2.0 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed distributive-0.6.2 Starting th-lift-0.8.2 Building th-lift-0.8.2 Completed unordered-containers-0.2.13.0 Starting transformers-base-0.4.5.2 Completed th-lift-0.8.2 Starting constraints-0.12 Building transformers-base-0.4.5.2 Completed scientific-0.3.6.2 Starting string-conversions-0.4.0.1 Building constraints-0.12 Building string-conversions-0.4.0.1 Completed transformers-base-0.4.5.2 Starting uuid-types-1.0.3 Completed string-conversions-0.4.0.1 Starting QuickCheck-2.14.1 Building uuid-types-1.0.3 Building QuickCheck-2.14.1 Completed uuid-types-1.0.3 Starting comonad-5.0.6 Completed constraints-0.12 Starting attoparsec-0.13.2.4 Building comonad-5.0.6 Building attoparsec-0.13.2.4 Completed comonad-5.0.6 Starting pcre-heavy-1.0.0.2 Building pcre-heavy-1.0.0.2 Completed pcre-heavy-1.0.0.2 Starting bifunctors-5.5.8 Building bifunctors-5.5.8 Completed attoparsec-0.13.2.4 Completed QuickCheck-2.14.1 Completed vector-0.12.1.2 Completed bifunctors-5.5.8 Starting assoc-1.0.2 Starting semigroupoids-5.3.4 Starting profunctors-5.6 Building assoc-1.0.2 Building profunctors-5.6 Completed assoc-1.0.2 Starting these-1.1.1.1 Building semigroupoids-5.3.4 Building these-1.1.1.1 Completed these-1.1.1.1 Starting strict-0.4 Building strict-0.4 Completed profunctors-5.6 Starting invariant-0.5.4 Building invariant-0.5.4 Completed strict-0.4 Starting aeson-1.5.4.1 Building aeson-1.5.4.1 Completed semigroupoids-5.3.4 Starting free-5.1.4 Building free-5.1.4 Completed invariant-0.5.4 Completed free-5.1.4 Starting adjunctions-4.4 Building adjunctions-4.4 Completed adjunctions-4.4 Starting kan-extensions-5.2.1 Building kan-extensions-5.2.1 Completed kan-extensions-5.2.1 Starting lens-4.19.2 Completed aeson-1.5.4.1 Starting aeson-pretty-0.8.8 Building aeson-pretty-0.8.8 Building lens-4.19.2 Completed aeson-pretty-0.8.8 Completed lens-4.19.2 Starting lens-action-0.2.4 Building lens-action-0.2.4 Completed lens-action-0.2.4 Downloading predicate-typed-0.7.4.0 Downloaded predicate-typed-0.7.4.0 Starting predicate-typed-0.7.4.0 Building predicate-typed-0.7.4.0 Failed to install predicate-typed-0.7.4.0 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/predicate-typed-0.7.4.0-1Pf8S7Aba872Q7aeuNcigh.log ): cabal: Entering directory '/tmp/cabal-tmp-20836/predicate-typed-0.7.4.0' Configuring predicate-typed-0.7.4.0... Preprocessing library for predicate-typed-0.7.4.0.. Building library for predicate-typed-0.7.4.0.. [ 1 of 39] Compiling Paths_predicate_typed ( dist/build/autogen/Paths_predicate_typed.hs, dist/build/Paths_predicate_typed.o, dist/build/Paths_predicate_typed.dyn_o ) [ 2 of 39] Compiling Predicate.Misc ( src/Predicate/Misc.hs, dist/build/Predicate/Misc.o, dist/build/Predicate/Misc.dyn_o ) [ 3 of 39] Compiling Predicate.TH_Orphans ( src/Predicate/TH_Orphans.hs, dist/build/Predicate/TH_Orphans.o, dist/build/Predicate/TH_Orphans.dyn_o ) src/Predicate/TH_Orphans.hs:26:3: error: • No instance for (Lift splitmix-0.1.0.3:System.Random.SplitMix.SMGen) arising from a use of ‘TL.lift’ • In the second argument of ‘Language.Haskell.TH.Lib.Internal.appE’, namely ‘(TL.lift x0_aoJM)’ In the expression: (Language.Haskell.TH.Lib.Internal.appE (Language.Haskell.TH.Lib.Internal.conE ((Language.Haskell.TH.Syntax.Name (Language.Haskell.TH.Syntax.mkOccName "StdGen")) (((Language.Haskell.TH.Syntax.NameG Language.Haskell.TH.Syntax.DataName) (Language.Haskell.TH.Syntax.mkPkgName "random-1.2.0-7h4RyWOayRNDypmvRo2ybf")) (Language.Haskell.TH.Syntax.mkModName "System.Random.Internal"))))) (TL.lift x0_aoJM) In a case alternative: System.Random.Internal.StdGen x0_aoJM -> (Language.Haskell.TH.Lib.Internal.appE (Language.Haskell.TH.Lib.Internal.conE ((Language.Haskell.TH.Syntax.Name (Language.Haskell.TH.Syntax.mkOccName "StdGen")) (((Language.Haskell.TH.Syntax.NameG Language.Haskell.TH.Syntax.DataName) (Language.Haskell.TH.Syntax.mkPkgName "random-1.2.0-7h4RyWOayRNDypmvRo2ybf")) (Language.Haskell.TH.Syntax.mkModName "System.Random.Internal"))))) (TL.lift x0_aoJM) | 26 | $(TL.deriveLift ''StdGen) | ^^^^^^^^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-20836/predicate-typed-0.7.4.0' cabal: Error: some packages failed to install: predicate-typed-0.7.4.0-1Pf8S7Aba872Q7aeuNcigh failed during the building phase. The exception was: ExitFailure 1