Resolving dependencies...
Configuring ghc-tcplugins-extra-0.2...
Configuring monomorphic-0.0.3.3...
Building monomorphic-0.0.3.3...
Building ghc-tcplugins-extra-0.2...
Installed monomorphic-0.0.3.3
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Configuring primitive-0.6.1.0...
Installed ghc-tcplugins-extra-0.2
Building primitive-0.6.1.0...
Configuring presburger-1.3.1...
Installed mtl-2.2.1
Building presburger-1.3.1...
Configuring safe-0.3.10...
Installed primitive-0.6.1.0
Building safe-0.3.10...
Configuring reflection-2.1.2...
Installed presburger-1.3.1
Configuring semigroups-0.18.2...
Installed safe-0.3.10
Building reflection-2.1.2...
Building semigroups-0.18.2...
Configuring syb-0.6...
Installed semigroups-0.18.2
Building syb-0.6...
Configuring th-lift-0.7.6...
Installed reflection-2.1.2
Building th-lift-0.7.6...
Configuring text-1.2.2.1...
Installed syb-0.6
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed th-lift-0.7.6
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring ghc-typelits-natnormalise-0.4.6...
Building ghc-typelits-natnormalise-0.4.6...
Configuring th-expand-syns-0.4.1.0...
Installed ghc-typelits-natnormalise-0.4.6
Building th-expand-syns-0.4.1.0...
Configuring vector-0.11.0.0...
Installed th-expand-syns-0.4.1.0
Building vector-0.11.0.0...
Configuring th-reify-many-0.1.6...
Installed text-1.2.2.1
Building th-reify-many-0.1.6...
Installed th-reify-many-0.1.6
Configuring hashable-1.2.4.0...
Building hashable-1.2.4.0...
Installed hashable-1.2.4.0
Configuring void-0.7.1...
Building void-0.7.1...
Configuring constraints-0.8...
Installed void-0.7.1
Building constraints-0.8...
Installed constraints-0.8
Installed vector-0.11.0.0
Configuring th-lift-instances-0.1.10...
Building th-lift-instances-0.1.10...
Installed th-lift-instances-0.1.10
Configuring th-orphans-0.13.3...
Building th-orphans-0.13.3...
Installed th-orphans-0.13.3
Configuring th-desugar-1.6...
Building th-desugar-1.6...
Installed th-desugar-1.6
Configuring singletons-2.2...
Building singletons-2.2...
Installed singletons-2.2
Configuring equational-reasoning-0.4.1.1...
Building equational-reasoning-0.4.1.1...
Installed equational-reasoning-0.4.1.1
Configuring ghc-typelits-presburger-0.1.1.0...
Building ghc-typelits-presburger-0.1.1.0...
Installed ghc-typelits-presburger-0.1.1.0
Configuring type-natural-0.6.0.0...
Building type-natural-0.6.0.0...
Failed to install type-natural-0.6.0.0
Build log ( /home/builder/.cabal/logs/type-natural-0.6.0.0.log ):
cabal: Entering directory '/tmp/cabal-tmp-25004/type-natural-0.6.0.0'
Configuring type-natural-0.6.0.0...
Building type-natural-0.6.0.0...
Preprocessing library type-natural-0.6.0.0...
[1 of 9] Compiling Data.Type.Natural.Definitions ( Data/Type/Natural/Definitions.hs, dist/build/Data/Type/Natural/Definitions.o )
[2 of 9] Compiling Data.Type.Natural.Core ( Data/Type/Natural/Core.hs, dist/build/Data/Type/Natural/Core.o )
[3 of 9] Compiling Data.Type.Natural.Compat ( Data/Type/Natural/Compat.hs, dist/build/Data/Type/Natural/Compat.o )
[4 of 9] Compiling Data.Type.Natural.Class.Arithmetic ( Data/Type/Natural/Class/Arithmetic.hs, dist/build/Data/Type/Natural/Class/Arithmetic.o )

Data/Type/Natural/Class/Arithmetic.hs:529:1: error:
    Duplicate instance declarations:
      instance [overlapping] Empty ('LT :~: 'GT)
        -- Defined at Data/Type/Natural/Class/Arithmetic.hs:529:1
      instance [overlapping] Empty ('LT :~: 'GT)
        -- Defined in ‘Proof.Propositional’
cabal: Leaving directory '/tmp/cabal-tmp-25004/type-natural-0.6.0.0'
cabal: Error: some packages failed to install:
type-natural-0.6.0.0 failed during the building phase. The exception was:
ExitFailure 1