Resolving dependencies...
Configuring mtl-2.2.1...
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
Configuring category-extras-0.53.5...
Building type-equality-0.1.2...
Building category-extras-0.53.5...
Installed type-equality-0.1.2
Failed to install category-extras-0.53.5
Build log ( /home/builder/.cabal/logs/category-extras-0.53.5.log ):
cabal: Entering directory '/tmp/cabal-tmp-19988/category-extras-0.53.5'
Configuring category-extras-0.53.5...
Building category-extras-0.53.5...
Preprocessing library category-extras-0.53.5...

src/Control/Category/Monoidal.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Category/Cartesian.hs:1:12: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Category/Cartesian/Closed.hs:1:12: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Applicative/Parameterized.hs:1:12: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Category/Object.hs:1:12: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Cofree.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Context.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Coideal.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Parameterized.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Pointer.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Reader.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Stream.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Comonad/Trans.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Adjunction.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Adjunction.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Functor/Composition.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Combinators/Lift.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Combinators/Lift.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Functor/Combinators/Join.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Combinators/Of.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Extras.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Exponential.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/HigherOrder.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/HigherOrder/Composition.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/KanExtension/Interpreter.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Lambek.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Pointed/Composition.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Representable.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Strong.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Strong.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Functor/Zap.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Zap.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Monad/Free.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Monad/Ideal.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Monad/Indexed/Cont.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Monad/Indexed/State.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Monad/Parameterized.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Monad/Either.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Ana.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Apo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Build.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Cata.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Chrono.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Destroy.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Dyna.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Exo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Futu.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Histo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Hylo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Meta/Gibbons.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Meta/Erwig.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Para.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Postpro.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Prepro.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Span.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Synchro.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Morphism/Zygo.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Data/Void.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Internal/Adjunction.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead

src/Control/Functor/Internal/Adjunction.hs:1:16: warning:
    -fallow-undecidable-instances is deprecated: use -XUndecidableInstances or pragma {-# LANGUAGE UndecidableInstances #-} instead

src/Control/Functor/Internal/Ideal.hs:1:16: warning:
    -fglasgow-exts is deprecated: Use individual extensions instead
[ 1 of 99] Compiling Data.Void        ( src/Data/Void.hs, dist/build/Data/Void.o )
[ 2 of 99] Compiling Control.Morphism.Universal ( src/Control/Morphism/Universal.hs, dist/build/Control/Morphism/Universal.o )

src/Control/Morphism/Universal.hs:17:1: warning: [-Wtabs]
    Tab character found here, and in four further locations.
    Please use spaces instead.
[ 3 of 99] Compiling Control.Morphism.Span ( src/Control/Morphism/Span.hs, dist/build/Control/Morphism/Span.o )

src/Control/Morphism/Span.hs:20:14: error:
    Unexpected type ‘(~>)’
    In the newtype declaration for ‘Span’
    A newtype declaration should have form
      newtype Span a b c d = ...
cabal: Leaving directory '/tmp/cabal-tmp-19988/category-extras-0.53.5'
cabal: Error: some packages failed to install:
category-extras-0.53.5 failed during the building phase. The exception was:
ExitFailure 1
type-settheory-0.1 depends on category-extras-0.53.5 which failed to install.