Resolving dependencies... Starting Only-0.1 Starting auto-update-0.1.6 Starting base-orphans-0.8.3 Starting base-compat-0.11.2 Building Only-0.1 Building auto-update-0.1.6 Building base-orphans-0.8.3 Building base-compat-0.11.2 Completed Only-0.1 Starting blaze-builder-0.4.1.0 Completed auto-update-0.1.6 Starting bytestring-builder-0.10.8.2.0 Building blaze-builder-0.4.1.0 Building bytestring-builder-0.10.8.2.0 Completed bytestring-builder-0.10.8.2.0 Starting cabal-doctest-1.0.8 Building cabal-doctest-1.0.8 Completed base-orphans-0.8.3 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed blaze-builder-0.4.1.0 Starting dlist-1.0 Completed cabal-doctest-1.0.8 Starting easy-file-0.2.2 Building dlist-1.0 Completed base-compat-0.11.2 Starting file-embed-0.0.13.0 Building easy-file-0.2.2 Building file-embed-0.0.13.0 Completed data-default-class-0.1.2.0 Starting hashable-1.3.0.0 Building hashable-1.3.0.0 Completed easy-file-0.2.2 Starting haskell-src-exts-1.23.1 Completed file-embed-0.0.13.0 Starting integer-logarithms-1.0.3.1 Building integer-logarithms-1.0.3.1 Building haskell-src-exts-1.23.1 Completed dlist-1.0 Starting monad-loops-0.4.3 Building monad-loops-0.4.3 Completed hashable-1.3.0.0 Starting network-3.1.2.1 Completed integer-logarithms-1.0.3.1 Starting old-locale-1.0.0.7 Building old-locale-1.0.0.7 Completed monad-loops-0.4.3 Starting parser-combinators-1.2.1 Building parser-combinators-1.2.1 Completed old-locale-1.0.0.7 Starting postgresql-libpq-0.9.4.3 Building network-3.1.2.1 Completed parser-combinators-1.2.1 Starting postgresql-tx-0.3.0.0 Building postgresql-tx-0.3.0.0 Building postgresql-libpq-0.9.4.3 Completed postgresql-tx-0.3.0.0 Starting primitive-0.7.1.0 Building primitive-0.7.1.0 Completed postgresql-libpq-0.9.4.3 Starting safe-0.3.19 Building safe-0.3.19 Completed network-3.1.2.1 Starting semigroups-0.19.1 Building semigroups-0.19.1 Completed safe-0.3.19 Starting split-0.2.3.4 Completed semigroups-0.19.1 Starting splitmix-0.1.0.3 Building split-0.2.3.4 Building splitmix-0.1.0.3 Completed split-0.2.3.4 Starting stm-chans-3.0.0.4 Completed splitmix-0.1.0.3 Starting syb-0.7.1 Building syb-0.7.1 Completed primitive-0.7.1.0 Starting tagged-0.8.6 Building tagged-0.8.6 Building stm-chans-3.0.0.4 Completed syb-0.7.1 Starting th-abstraction-0.4.0.0 Building th-abstraction-0.4.0.0 Completed stm-chans-3.0.0.4 Starting th-compat-0.1 Completed tagged-0.8.6 Starting transformers-compat-0.6.6 Building th-compat-0.1 Building transformers-compat-0.6.6 Completed th-compat-0.1 Starting type-fun-0.1.2 Building type-fun-0.1.2 Failed to install type-fun-0.1.2 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/type-fun-0.1.2-J0VaQlEDgwNE7K943dxOqe.log ): cabal: Entering directory '/tmp/cabal-tmp-29196/type-fun-0.1.2' Configuring type-fun-0.1.2... Preprocessing library for type-fun-0.1.2.. Building library for type-fun-0.1.2.. [1 of 5] Compiling TypeFun.Constraint ( src/TypeFun/Constraint.hs, dist/build/TypeFun/Constraint.o, dist/build/TypeFun/Constraint.dyn_o ) [2 of 5] Compiling TypeFun.Data.Eq ( src/TypeFun/Data/Eq.hs, dist/build/TypeFun/Data/Eq.o, dist/build/TypeFun/Data/Eq.dyn_o ) [3 of 5] Compiling TypeFun.Data.Maybe ( src/TypeFun/Data/Maybe.hs, dist/build/TypeFun/Data/Maybe.o, dist/build/TypeFun/Data/Maybe.dyn_o ) [4 of 5] Compiling TypeFun.Data.Peano ( src/TypeFun/Data/Peano.hs, dist/build/TypeFun/Data/Peano.o, dist/build/TypeFun/Data/Peano.dyn_o ) [5 of 5] Compiling TypeFun.Data.List ( src/TypeFun/Data/List.hs, dist/build/TypeFun/Data/List.o, dist/build/TypeFun/Data/List.dyn_o ) src/TypeFun/Data/List.hs:116:12: error: • Cannot instantiate unification variable ‘b1’ with a type involving polytypes: proxy l -> ((l ~ (l :++: '[])) => r) -> r GHC doesn't yet support impredicative polymorphism • In the expression: unsafeCoerce id In an equation for ‘appendId’: appendId = unsafeCoerce id • Relevant bindings include appendId :: proxy l -> ((l ~ (l :++: '[])) => r) -> r (bound at src/TypeFun/Data/List.hs:116:1) | 116 | appendId = unsafeCoerce id | ^^^^^^^^^^^^^^^ src/TypeFun/Data/List.hs:175:15: error: • Cannot instantiate unification variable ‘b0’ with a type involving polytypes: (SubList l l => r) -> r GHC doesn't yet support impredicative polymorphism • In the expression: unsafeCoerce id In an equation for ‘subListId’: subListId _ = unsafeCoerce id • Relevant bindings include subListId :: proxy l -> (SubList l l => r) -> r (bound at src/TypeFun/Data/List.hs:175:1) | 175 | subListId _ = unsafeCoerce id | ^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-29196/type-fun-0.1.2' Starting unix-compat-0.5.2 Completed transformers-compat-0.6.6 Building unix-compat-0.5.2 Completed th-abstraction-0.4.0.0 Completed unix-compat-0.5.2 Completed haskell-src-exts-1.23.1 cabal: Error: some packages failed to install: hreader-1.1.0-8s8OA28mHGHJNGw2NGYCYo depends on hreader-1.1.0 which failed to install. hset-2.2.0-CtyiX8kBHFcLV9vd5l6Nhp depends on hset-2.2.0 which failed to install. postgresql-query-3.5.0-6B33yW96uFXIVPApodCxmL depends on postgresql-query-3.5.0 which failed to install. postgresql-tx-query-0.3.0.0-9icK2XR0lwi8d5wBV2Rd7p depends on postgresql-tx-query-0.3.0.0 which failed to install. type-fun-0.1.2-J0VaQlEDgwNE7K943dxOqe failed during the building phase. The exception was: ExitFailure 1