Resolving dependencies... Configuring JuicyPixels-3.2.9.4... Configuring Boolean-0.2.4... Building JuicyPixels-3.2.9.4... Building Boolean-0.2.4... Installed Boolean-0.2.4 Configuring NumInstances-1.4... Building NumInstances-1.4... Installed NumInstances-1.4 Configuring base-orphans-0.6... Building base-orphans-0.6... Installed base-orphans-0.6 Configuring cabal-doctest-1.0.6... Building cabal-doctest-1.0.6... Installed cabal-doctest-1.0.6 Configuring cereal-0.5.5.0... Building cereal-0.5.5.0... Installed cereal-0.5.5.0 Configuring circle-packing-0.1.0.6... Building circle-packing-0.1.0.6... Installed circle-packing-0.1.0.6 Configuring colour-2.3.4... Building colour-2.3.4... Installed colour-2.3.4 Configuring data-default-class-0.1.2.0... Building data-default-class-0.1.2.0... Installed JuicyPixels-3.2.9.4 Configuring diagrams-solve-0.1.1... Installed data-default-class-0.1.2.0 Configuring dlist-0.8.0.4... Building diagrams-solve-0.1.1... Building dlist-0.8.0.4... Installed diagrams-solve-0.1.1 Configuring fail-4.9.0.0... Installed dlist-0.8.0.4 Configuring fast-math-1.0.2... Building fail-4.9.0.0... Building fast-math-1.0.2... Installed fail-4.9.0.0 Configuring fingertree-0.1.3.1... Building fingertree-0.1.3.1... Installed fast-math-1.0.2 Configuring groups-0.4.1.0... Building groups-0.4.1.0... Installed groups-0.4.1.0 Configuring hinotify-0.3.9... Building hinotify-0.3.9... Installed fingertree-0.1.3.1 Configuring integration-0.2.1... Installed hinotify-0.3.9 Configuring matrices-0.4.5... Building integration-0.2.1... Building matrices-0.4.5... Installed integration-0.2.1 Configuring microlens-0.4.8.3... Building microlens-0.4.8.3... Installed microlens-0.4.8.3 Configuring mtl-compat-0.2.1.3... Installed matrices-0.4.5 Configuring newtype-generics-0.5.1... Building mtl-compat-0.2.1.3... Building newtype-generics-0.5.1... Installed mtl-compat-0.2.1.3 Configuring old-locale-1.0.0.7... Building old-locale-1.0.0.7... Installed newtype-generics-0.5.1 Configuring prelude-extras-0.4.0.3... Building prelude-extras-0.4.0.3... Installed old-locale-1.0.0.7 Configuring reflection-2.1.3... Building reflection-2.1.3... Installed prelude-extras-0.4.0.3 Configuring semigroups-0.18.4... Building semigroups-0.18.4... Installed semigroups-0.18.4 Configuring th-abstraction-0.2.6.0... Installed reflection-2.1.3 Configuring transformers-compat-0.5.1.4... Building th-abstraction-0.2.6.0... Building transformers-compat-0.5.1.4... Installed transformers-compat-0.5.1.4 Configuring unix-compat-0.5.0.1... Building unix-compat-0.5.0.1... Installed th-abstraction-0.2.6.0 Configuring void-0.7.2... Installed unix-compat-0.5.0.1 Configuring ansi-terminal-0.8.0.1... Building void-0.7.2... Building ansi-terminal-0.8.0.1... Installed void-0.7.2 Configuring data-default-instances-containers-0.0.1... Building data-default-instances-containers-0.0.1... Installed data-default-instances-containers-0.0.1 Configuring data-default-instances-dlist-0.0.1... Building data-default-instances-dlist-0.0.1... Installed ansi-terminal-0.8.0.1 Configuring microlens-th-0.4.1.3... Building microlens-th-0.4.1.3... Installed data-default-instances-dlist-0.0.1 Configuring mfsolve-0.3.2.0... Building mfsolve-0.3.2.0... Installed microlens-th-0.4.1.3 Configuring MemoTrie-0.6.9... Building MemoTrie-0.6.9... Installed mfsolve-0.3.2.0 Configuring data-default-instances-old-locale-0.0.1... Building data-default-instances-old-locale-0.0.1... Installed MemoTrie-0.6.9 Configuring tagged-0.8.5... Installed data-default-instances-old-locale-0.0.1 Configuring microlens-mtl-0.1.11.1... Building tagged-0.8.5... Building microlens-mtl-0.1.11.1... Installed microlens-mtl-0.1.11.1 Configuring exceptions-0.8.3... Installed tagged-0.8.5 Configuring contravariant-1.4.1... Building exceptions-0.8.3... Building contravariant-1.4.1... Installed exceptions-0.8.3 Configuring MonadRandom-0.5.1... Building MonadRandom-0.5.1... Installed contravariant-1.4.1 Configuring fsnotify-0.2.1.1... Building fsnotify-0.2.1.1... Installed fsnotify-0.2.1.1 Configuring bytes-0.15.3... Installed MonadRandom-0.5.1 Configuring ansi-wl-pprint-0.6.8.2... Building ansi-wl-pprint-0.6.8.2... Building bytes-0.15.3... Installed ansi-wl-pprint-0.6.8.2 Configuring vector-space-0.13... Building vector-space-0.13... Installed vector-space-0.13 Configuring data-default-0.7.1.1... Building data-default-0.7.1.1... Installed bytes-0.15.3 Configuring distributive-0.5.3... Installed data-default-0.7.1.1 Configuring optparse-applicative-0.14.0.0... Building optparse-applicative-0.14.0.0... Building distributive-0.5.3... Installed distributive-0.5.3 Configuring cubicbezier-0.6.0.5... Building cubicbezier-0.6.0.5... Installed optparse-applicative-0.14.0.0 Configuring intervals-0.8.1... Building intervals-0.8.1... Installed intervals-0.8.1 Configuring comonad-5.0.2... Building comonad-5.0.2... Installed comonad-5.0.2 Configuring bifunctors-5.5.1... Building bifunctors-5.5.1... Installed cubicbezier-0.6.0.5 Installed bifunctors-5.5.1 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 Installed semigroupoids-5.2.2 Configuring monoid-extras-0.4.2... Configuring free-4.12.4... Building monoid-extras-0.4.2... Building free-4.12.4... Installed monoid-extras-0.4.2 Configuring dual-tree-0.2.1... Building dual-tree-0.2.1... Installed dual-tree-0.2.1 Installed free-4.12.4 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.15.4... Building lens-4.15.4... Installed lens-4.15.4 Configuring linear-1.20.7... Building linear-1.20.7... Installed linear-1.20.7 Configuring force-layout-0.4.0.6... Configuring diagrams-core-1.4.0.1... Building diagrams-core-1.4.0.1... Building force-layout-0.4.0.6... Installed force-layout-0.4.0.6 Configuring active-0.2.0.13... Building active-0.2.0.13... Installed active-0.2.0.13 Installed diagrams-core-1.4.0.1 Configuring diagrams-lib-1.4.2... Building diagrams-lib-1.4.2... Installed diagrams-lib-1.4.2 Configuring diagrams-contrib-1.4.2... Building diagrams-contrib-1.4.2... Failed to install diagrams-contrib-1.4.2 Build log ( /home/builder/.cabal/logs/ghc-8.2.2/diagrams-contrib-1.4.2-IeHWEqUDDWHLr97DY0N1PW.log ): cabal: Entering directory '/tmp/cabal-tmp-24885/diagrams-contrib-1.4.2' Configuring diagrams-contrib-1.4.2... Preprocessing library for diagrams-contrib-1.4.2.. Building library for diagrams-contrib-1.4.2.. [ 1 of 28] Compiling Diagrams.Anchors ( src/Diagrams/Anchors.hs, dist/build/Diagrams/Anchors.o ) [ 2 of 28] Compiling Diagrams.Color.HSV ( src/Diagrams/Color/HSV.hs, dist/build/Diagrams/Color/HSV.o ) [ 3 of 28] Compiling Diagrams.Color.XKCD ( src/Diagrams/Color/XKCD.hs, dist/build/Diagrams/Color/XKCD.o ) [ 4 of 28] Compiling Diagrams.Layout.Wrap ( src/Diagrams/Layout/Wrap.hs, dist/build/Diagrams/Layout/Wrap.o ) [ 5 of 28] Compiling Diagrams.Lens ( src/Diagrams/Lens.hs, dist/build/Diagrams/Lens.o ) [ 6 of 28] Compiling Diagrams.TwoD.Apollonian ( src/Diagrams/TwoD/Apollonian.hs, dist/build/Diagrams/TwoD/Apollonian.o ) src/Diagrams/TwoD/Apollonian.hs:275:15: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: drawCircle :: (Renderable (Path V2 n) b, TypeableFloat n) => Circle n -> QDiagram b V2 n Any | 275 | drawCircle :: (Renderable (Path V2 n) b, TypeableFloat n) => | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Apollonian.hs:282:15: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: drawGasket :: (Renderable (Path V2 n) b, TypeableFloat n) => [Circle n] -> QDiagram b V2 n Any | 282 | drawGasket :: (Renderable (Path V2 n) b, TypeableFloat n) => | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Apollonian.hs:289:21: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: apollonianGasket :: (Renderable (Path V2 n) b, TypeableFloat n) => n -> n -> n -> n -> QDiagram b V2 n Any | 289 | apollonianGasket :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 7 of 28] Compiling Diagrams.TwoD.Factorization ( src/Diagrams/TwoD/Factorization.hs, dist/build/Diagrams/TwoD/Factorization.o ) src/Diagrams/TwoD/Factorization.hs:57:16: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: primeLayout :: (Renderable (Path V2 n) b, TypeableFloat n) => [Colour Double] -> Integer -> QDiagram b V2 n Any -> QDiagram b V2 n Any | 57 | primeLayout :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Factorization.hs:86:14: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: colorBars :: (Renderable (Path V2 n) b, TypeableFloat n) => [Colour Double] -> Integer -> Path V2 n -> QDiagram b V2 n Any | 86 | colorBars :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Factorization.hs:123:19: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: factorDiagram' :: (Renderable (Path V2 n) b, TypeableFloat n) => [Integer] -> QDiagram b V2 n Any | 123 | factorDiagram' :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Factorization.hs:136:18: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: factorDiagram :: (Renderable (Path V2 n) b, TypeableFloat n) => Integer -> QDiagram b V2 n Any | 136 | factorDiagram :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Factorization.hs:155:6: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: ensquare :: (Renderable (Path V2 n) b, TypeableFloat n) => n -> QDiagram b V2 n Any -> QDiagram b V2 n Any | 155 | :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Factorization.hs:168:6: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: fdGrid :: (Renderable (Path V2 n) b, TypeableFloat n) => [[Integer]] -> QDiagram b V2 n Any | 168 | :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Factorization.hs:183:6: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: fdGridList :: (Renderable (Path V2 n) b, TypeableFloat n) => Integer -> QDiagram b V2 n Any | 183 | :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Factorization.hs:197:6: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: fdMultTable :: (Renderable (Path V2 n) b, TypeableFloat n) => Integer -> QDiagram b V2 n Any | 197 | :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 8 of 28] Compiling Diagrams.TwoD.Grid ( src/Diagrams/TwoD/Grid.hs, dist/build/Diagrams/TwoD/Grid.o ) src/Diagrams/TwoD/Grid.hs:161:19: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: gridWithHalves :: (Renderable (Path V2 n) b, TypeableFloat n) => Int -> Int -> QDiagram b V2 n Any | 161 | gridWithHalves :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Grid.hs:169:20: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: gridWithHalves' :: (Renderable (Path V2 n) b, TypeableFloat n) => GridOpts n -> Int -> Int -> QDiagram b V2 n Any | 169 | gridWithHalves' :: (Renderable (Path V2 n) b, TypeableFloat n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Grid.hs:233:13: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: gridLine :: (IsName a, IsName b, Renderable (Path V2 n) c, TypeableFloat n) => a -> b -> QDiagram c V2 n Any -> QDiagram c V2 n Any | 233 | gridLine :: (IsName a, IsName b, | ^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Grid.hs:239:14: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: gridLine' :: (IsName a, IsName b, Renderable (Path V2 n) c, TypeableFloat n) => HighlightLineOpts n -> a -> b -> QDiagram c V2 n Any -> QDiagram c V2 n Any | 239 | gridLine' :: (IsName a, IsName b, | ^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Grid.hs:251:14: warning: [-Wsimplifiable-class-constraints] • The constraint ‘TypeableFloat n’ matches an instance declaration instance (Typeable n, RealFloat n) => TypeableFloat n -- Defined in ‘Diagrams.Core.Types’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: gridLines :: (Renderable (Path V2 n) c, TypeableFloat n, IsName a, IsName b) => [(a, b)] -> QDiagram c V2 n Any -> QDiagram c V2 n Any | 251 | gridLines :: (Renderable (Path V2 n) c, TypeableFloat n, | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [ 9 of 28] Compiling Diagrams.TwoD.Layout.CirclePacking ( src/Diagrams/TwoD/Layout/CirclePacking.hs, dist/build/Diagrams/TwoD/Layout/CirclePacking.o ) src/Diagrams/TwoD/Layout/CirclePacking.hs:53:24: warning: [-Wsimplifiable-class-constraints] • The constraint ‘Monoid' m’ matches an instance declaration instance [safe] (Semigroup m, Monoid m) => Monoid' m -- Defined in ‘Data.Monoid.WithSemigroup’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: renderCirclePacking :: (Monoid' m, Floating (N b), Ord (N b)) => RadiusFunction b m -> [QDiagram b V2 (N b) m] -> QDiagram b V2 (N b) m | 53 | renderCirclePacking :: (Monoid' m, Floating (N b), Ord (N b)) => RadiusFunction b m -> [QDiagram b V2 (N b) m] -> QDiagram b V2 (N b) m | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Diagrams/TwoD/Layout/CirclePacking.hs:62:24: warning: [-Wsimplifiable-class-constraints] • The constraint ‘Monoid' m’ matches an instance declaration instance [safe] (Semigroup m, Monoid m) => Monoid' m -- Defined in ‘Data.Monoid.WithSemigroup’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: createCirclePacking :: (Monoid' m, Ord (N b), Floating (N b)) => (a -> Double) -> (a -> QDiagram b V2 (N b) m) -> [a] -> QDiagram b V2 (N b) m | 62 | createCirclePacking :: (Monoid' m, Ord (N b), Floating (N b)) => (a -> Double) -> (a -> QDiagram b V2 (N b) m) -> [a] -> QDiagram b V2 (N b) m | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Diagrams/TwoD/Layout/CirclePacking.hs:76:17: warning: [-Wsimplifiable-class-constraints] • The constraint ‘Monoid' m’ matches an instance declaration instance [safe] (Semigroup m, Monoid m) => Monoid' m -- Defined in ‘Data.Monoid.WithSemigroup’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: approxRadius :: (Monoid' m, Floating (N b), Real (N b), Ord (N b)) => Int -> RadiusFunction b m | 76 | approxRadius :: (Monoid' m, Floating (N b), Real (N b), Ord (N b)) => Int -> RadiusFunction b m | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Diagrams/TwoD/Layout/CirclePacking.hs:94:17: warning: [-Wsimplifiable-class-constraints] • The constraint ‘Monoid' m’ matches an instance declaration instance [safe] (Semigroup m, Monoid m) => Monoid' m -- Defined in ‘Data.Monoid.WithSemigroup’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: circleRadius :: (Monoid' m, Floating (N b), Real (N b)) => RadiusFunction b m | 94 | circleRadius :: (Monoid' m, Floating (N b), Real (N b)) => RadiusFunction b m | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [10 of 28] Compiling Diagrams.TwoD.Layout.Constrained ( src/Diagrams/TwoD/Layout/Constrained.hs, dist/build/Diagrams/TwoD/Layout/Constrained.o ) src/Diagrams/TwoD/Layout/Constrained.hs:524:6: warning: [-Wsimplifiable-class-constraints] • The constraint ‘Monoid' m’ matches an instance declaration instance [safe] (Semigroup m, Monoid m) => Monoid' m -- Defined in ‘Data.Monoid.WithSemigroup’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: constrainWith :: (Hashable n, RealFrac n, Floating n, Monoid' m) => ([[Located (Envelope V2 n)]] -> [Located (Envelope V2 n)]) -> [DiaID s] -> Constrained s b n m () | 524 | :: (Hashable n, RealFrac n, Floating n, Monoid' m) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Layout/Constrained.hs:622:6: warning: [-Wsimplifiable-class-constraints] • The constraint ‘Monoid' m’ matches an instance declaration instance [safe] (Semigroup m, Monoid m) => Monoid' m -- Defined in ‘Data.Monoid.WithSemigroup’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: layout :: (Monoid' m, Hashable n, Floating n, RealFrac n, Show n) => (forall s. Constrained s b n m a) -> QDiagram b V2 n m | 622 | :: (Monoid' m, Hashable n, Floating n, RealFrac n, Show n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... src/Diagrams/TwoD/Layout/Constrained.hs:630:6: warning: [-Wsimplifiable-class-constraints] • The constraint ‘Monoid' m’ matches an instance declaration instance [safe] (Semigroup m, Monoid m) => Monoid' m -- Defined in ‘Data.Monoid.WithSemigroup’ This makes type inference for inner bindings fragile; either use MonoLocalBinds, or simplify it using the instance • In the type signature: runLayout :: (Monoid' m, Hashable n, Floating n, RealFrac n, Show n) => (forall s. Constrained s b n m a) -> (a, QDiagram b V2 n m) | 630 | :: (Monoid' m, Hashable n, Floating n, RealFrac n, Show n) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^... [11 of 28] Compiling Diagrams.TwoD.Layout.Grid ( src/Diagrams/TwoD/Layout/Grid.hs, dist/build/Diagrams/TwoD/Layout/Grid.o ) [12 of 28] Compiling Diagrams.TwoD.Layout.Tree ( src/Diagrams/TwoD/Layout/Tree.hs, dist/build/Diagrams/TwoD/Layout/Tree.o ) [13 of 28] Compiling Diagrams.TwoD.Path.Boolean ( src/Diagrams/TwoD/Path/Boolean.hs, dist/build/Diagrams/TwoD/Path/Boolean.o ) [14 of 28] Compiling Diagrams.TwoD.Path.Calligraphic ( src/Diagrams/TwoD/Path/Calligraphic.hs, dist/build/Diagrams/TwoD/Path/Calligraphic.o ) [15 of 28] Compiling Diagrams.TwoD.Path.Follow ( src/Diagrams/TwoD/Path/Follow.hs, dist/build/Diagrams/TwoD/Path/Follow.o ) src/Diagrams/TwoD/Path/Follow.hs:64:21: error: • No instance for (Semigroup (Semi (Trail' Line V2 n) (Angle n))) arising from the 'deriving' clause of a data type declaration Possible fix: use a standalone 'deriving instance' declaration, so you can specify the instance context yourself • When deriving the instance for (Semigroup (Following n)) | 64 | deriving (Monoid, Semigroup) | ^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-24885/diagrams-contrib-1.4.2' cabal: Error: some packages failed to install: diagrams-contrib-1.4.2-IeHWEqUDDWHLr97DY0N1PW failed during the building phase. The exception was: ExitFailure 1