Resolving dependencies...
Configuring dependent-sum-0.1...
Building dependent-sum-0.1...
Preprocessing library dependent-sum-0.1...
[1 of 3] Compiling Data.GADT.Show   ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o )
[2 of 3] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o )

src/Data/GADT/Compare.hs:15:5:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:15:13:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:18:13:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:18:18:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:21:17:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:24:18:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:28:22:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:34:10:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:35:25:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:59:33:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:74:14:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:88:9:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:88:14:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:88:26:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:164:14:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)

src/Data/GADT/Compare.hs:164:19:
    Ambiguous occurrence ‘Refl’
    It could refer to either ‘Data.GADT.Compare.Refl’,
                             defined at src/Data/GADT/Compare.hs:11:5
                          or ‘Data.Typeable.Refl’,
                             imported from ‘Data.Typeable’ at src/Data/GADT/Compare.hs:6:1-20
                             (and originally defined in ‘Data.Type.Equality’)
Failed to install dependent-sum-0.1
cabal: Error: some packages failed to install:
dependent-sum-0.1 failed during the building phase. The exception was:
ExitFailure 1