Resolving dependencies... Warning: The following packages are likely to be broken by the reinstalls: OpenGL-3.0.2.0 GLUT-2.7.0.12 Continuing even though the plan contains dangerous reinstalls. Configuring base-orphans-0.7... Configuring cabal-doctest-1.0.6... Building base-orphans-0.7... Building cabal-doctest-1.0.6... Installed base-orphans-0.7 Configuring fail-4.9.0.0... Installed cabal-doctest-1.0.6 Configuring reflection-2.1.3... Building fail-4.9.0.0... Installed fail-4.9.0.0 Configuring semigroups-0.18.4... Building reflection-2.1.3... Building semigroups-0.18.4... Installed semigroups-0.18.4 Configuring th-abstraction-0.2.6.0... Building th-abstraction-0.2.6.0... Installed reflection-2.1.3 Configuring transformers-0.5.5.0... Building transformers-0.5.5.0... Installed th-abstraction-0.2.6.0 Configuring void-0.7.2... Building void-0.7.2... Installed void-0.7.2 Installed transformers-0.5.5.0 Configuring transformers-compat-0.6.1.6... Configuring primitive-0.6.3.0... Building primitive-0.6.3.0... Building transformers-compat-0.6.1.6... Installed transformers-compat-0.6.1.6 Configuring mtl-2.2.2... Building mtl-2.2.2... Installed mtl-2.2.2 Configuring StateVar-1.1.0.4... Installed primitive-0.6.3.0 Configuring transformers-base-0.4.5.2... Building StateVar-1.1.0.4... Building transformers-base-0.4.5.2... Installed StateVar-1.1.0.4 Configuring tagged-0.8.5... Installed transformers-base-0.4.5.2 Configuring exceptions-0.10.0... Building tagged-0.8.5... Building exceptions-0.10.0... Installed tagged-0.8.5 Configuring vector-0.12.0.1... Building vector-0.12.0.1... Installed exceptions-0.10.0 Configuring contravariant-1.4.1... Building contravariant-1.4.1... Installed contravariant-1.4.1 Configuring distributive-0.5.3... Building distributive-0.5.3... Installed distributive-0.5.3 Configuring data-diverse-3.0.0.0... Building data-diverse-3.0.0.0... Installed data-diverse-3.0.0.0 Configuring comonad-5.0.3... Building comonad-5.0.3... Installed comonad-5.0.3 Configuring bifunctors-5.5.2... Building bifunctors-5.5.2... Installed vector-0.12.0.1 Installed bifunctors-5.5.2 Configuring profunctors-5.2.2... Configuring semigroupoids-5.2.2... Building profunctors-5.2.2... Building semigroupoids-5.2.2... Installed profunctors-5.2.2 Configuring generic-lens-1.0.0.1... Building generic-lens-1.0.0.1... Installed semigroupoids-5.2.2 Configuring free-5.0.1... Building free-5.0.1... Installed generic-lens-1.0.0.1 Installed free-5.0.1 Configuring adjunctions-4.4... Building adjunctions-4.4... Installed adjunctions-4.4 Configuring kan-extensions-5.1... Building kan-extensions-5.1... Installed kan-extensions-5.1 Configuring lens-4.16.1... Building lens-4.16.1... Installed lens-4.16.1 Configuring data-diverse-lens-3.0.0.0... Building data-diverse-lens-3.0.0.0... Failed to install data-diverse-lens-3.0.0.0 Build log ( /home/builder/.cabal/logs/ghc-8.2.2/data-diverse-lens-3.0.0.0-LrwdQoJzyCB5EUTg0NMUy6.log ): cabal: Entering directory '/tmp/cabal-tmp-4232/data-diverse-lens-3.0.0.0' Configuring data-diverse-lens-3.0.0.0... Preprocessing library for data-diverse-lens-3.0.0.0.. Building library for data-diverse-lens-3.0.0.0.. [1 of 6] Compiling Data.Diverse.Lens.Many ( src/Data/Diverse/Lens/Many.hs, dist/build/Data/Diverse/Lens/Many.o ) src/Data/Diverse/Lens/Many.hs:91:10: error: • Type indexes must match class instance head Expected: Replaced x (Many xs) Actual: Replaced a b (Many xs) where the `' arguments are type variables, distinct from each other and from the instance variables • In the type instance declaration for ‘Replaced’ In the instance declaration for ‘HasItem x (Many xs)’ | 91 | type Replaced a b (Many xs) = Many (Replace a b xs) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/Diverse/Lens/Many.hs:127:10: error: • Type indexes must match class instance head Expected: ReplacedL l x (Many xs) Actual: ReplacedL l _ b (Many xs) where the `' arguments are type variables, distinct from each other and from the instance variables • In the type instance declaration for ‘ReplacedL’ In the instance declaration for ‘HasItemL l x (Many xs)’ | 127 | type ReplacedL l _ b (Many xs) = Many (Replace (KindAtLabel l xs) b xs) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Data/Diverse/Lens/Many.hs:170:10: error: • Type indexes must match class instance head Expected: ReplacedN n x (Many xs) Actual: ReplacedN n a b (Many xs) where the `' arguments are type variables, distinct from each other and from the instance variables • In the type instance declaration for ‘ReplacedN’ In the instance declaration for ‘HasItemN n x (Many xs)’ | 170 | type ReplacedN n a b (Many xs) = Many (ReplaceIndex n a b xs) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-4232/data-diverse-lens-3.0.0.0' cabal: Error: some packages failed to install: data-diverse-lens-3.0.0.0-LrwdQoJzyCB5EUTg0NMUy6 failed during the building phase. The exception was: ExitFailure 1