Resolving dependencies...
Configuring dependent-sum-0.3.2.2...
Building dependent-sum-0.3.2.2...
Failed to install dependent-sum-0.3.2.2
Build log ( /home/builder/.cabal/logs/dependent-sum-0.3.2.2.log ):
cabal: Entering directory '/tmp/cabal-tmp-3087/dependent-sum-0.3.2.2'
Configuring dependent-sum-0.3.2.2...
Building dependent-sum-0.3.2.2...
Preprocessing library dependent-sum-0.3.2.2...
[1 of 4] Compiling Data.GADT.Show   ( src/Data/GADT/Show.hs, dist/build/Data/GADT/Show.o )
[2 of 4] Compiling Data.GADT.Compare ( src/Data/GADT/Compare.hs, dist/build/Data/GADT/Compare.o )

src/Data/GADT/Compare.hs:61:30: error:
    • Couldn't match type ‘(forall (a1 :: k1). x := a1 -> b0) -> b0’
                     with ‘forall b. (forall (a1 :: k1). x := a1 -> b) -> b’
      Expected type: [(forall b. (forall (a :: k1). x := a -> b) -> b,
                       String)]
        Actual type: [((forall (a :: k1). x := a -> b0) -> b0, String)]
    • In the expression:
        return
          ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest)
      In an equation for ‘f’:
          f (Refl, rest)
            = return
                ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest)
      In an equation for ‘greadsPrec’:
          greadsPrec p s
            = readsPrec p s >>= f
            where
                f ::
                  forall x.
                  (x := x, String)
                  -> [(forall b. (forall a. x := a -> b) -> b, String)]
                f (Refl, rest)
                  = return
                      ((\ x -> x Refl) :: forall b. (forall a. x := a -> b) -> b, rest)
    • Relevant bindings include
        f :: (x := x, String)
             -> [(forall b. (forall (a :: k1). x := a -> b) -> b, String)]
          (bound at src/Data/GADT/Compare.hs:61:13)
cabal: Leaving directory '/tmp/cabal-tmp-3087/dependent-sum-0.3.2.2'
cabal: Error: some packages failed to install:
dependent-map-0.2.2.0 depends on dependent-sum-0.3.2.2 which failed to
install.
dependent-sum-0.3.2.2 failed during the building phase. The exception was:
ExitFailure 1