Resolving dependencies...
Configuring mtl-2.2.1...
Downloading type-equality-0.1.2...
Configuring syb-0.6...
Building mtl-2.2.1...
Building syb-0.6...
Configuring type-equality-0.1.2...
Installed syb-0.6
Installed mtl-2.2.1
Building type-equality-0.1.2...
Installed type-equality-0.1.2
Downloading type-settheory-0.1.1...
Configuring type-settheory-0.1.1...
Building type-settheory-0.1.1...
Failed to install type-settheory-0.1.1
Build log ( /home/builder/.cabal/logs/type-settheory-0.1.1.log ):
cabal: Entering directory '/tmp/cabal-tmp-25680/type-settheory-0.1.1'
Configuring type-settheory-0.1.1...
Building type-settheory-0.1.1...
Preprocessing library type-settheory-0.1.1...
[ 1 of 10] Compiling Type.Logic       ( Type/Logic.hs, dist/build/Type/Logic.o )

Type/Logic.hs:39:1: error:
    Ambiguous interface for ‘Data.Type.Equality’:
      it was found in multiple packages: base-4.9.0.0 type-equality-0.1.2
cabal: Leaving directory '/tmp/cabal-tmp-25680/type-settheory-0.1.1'
cabal: Error: some packages failed to install:
type-settheory-0.1.1 failed during the building phase. The exception was:
ExitFailure 1