Resolving dependencies... Downloading HaskellForMaths-0.4.2... Configuring HaskellForMaths-0.4.2... Building HaskellForMaths-0.4.2... Preprocessing library HaskellForMaths-0.4.2... [ 1 of 56] Compiling Math.NumberTheory.Prime ( Math/NumberTheory/Prime.hs, dist/build/Math/NumberTheory/Prime.o ) [ 2 of 56] Compiling Math.NumberTheory.Factor ( Math/NumberTheory/Factor.hs, dist/build/Math/NumberTheory/Factor.o ) [ 3 of 56] Compiling Math.Combinatorics.Digraph ( Math/Combinatorics/Digraph.hs, dist/build/Math/Combinatorics/Digraph.o ) [ 4 of 56] Compiling Math.Algebras.VectorSpace ( Math/Algebras/VectorSpace.hs, dist/build/Math/Algebras/VectorSpace.o ) [ 5 of 56] Compiling Math.Algebras.TensorProduct ( Math/Algebras/TensorProduct.hs, dist/build/Math/Algebras/TensorProduct.o ) [ 6 of 56] Compiling Math.Algebras.Structures ( Math/Algebras/Structures.hs, dist/build/Math/Algebras/Structures.o ) [ 7 of 56] Compiling Math.Algebra.Group.StringRewriting ( Math/Algebra/Group/StringRewriting.hs, dist/build/Math/Algebra/Group/StringRewriting.o ) [ 8 of 56] Compiling Math.Common.ListSet ( Math/Common/ListSet.hs, dist/build/Math/Common/ListSet.o ) [ 9 of 56] Compiling Math.Core.Utils ( Math/Core/Utils.hs, dist/build/Math/Core/Utils.o ) [10 of 56] Compiling Math.Common.IntegerAsType ( Math/Common/IntegerAsType.hs, dist/build/Math/Common/IntegerAsType.o ) [11 of 56] Compiling Math.Algebra.Field.Base ( Math/Algebra/Field/Base.hs, dist/build/Math/Algebra/Field/Base.o ) [12 of 56] Compiling Math.Algebra.Field.Extension ( Math/Algebra/Field/Extension.hs, dist/build/Math/Algebra/Field/Extension.o ) Math/Algebra/Field/Extension.hs:160:10: Illegal instance declaration for `PolynomialAsType F2 ConwayF4' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `PolynomialAsType F2 ConwayF4' Math/Algebra/Field/Extension.hs:166:10: Illegal instance declaration for `PolynomialAsType F2 ConwayF8' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `PolynomialAsType F2 ConwayF8' Math/Algebra/Field/Extension.hs:172:10: Illegal instance declaration for `PolynomialAsType F3 ConwayF9' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `PolynomialAsType F3 ConwayF9' Math/Algebra/Field/Extension.hs:178:10: Illegal instance declaration for `PolynomialAsType F2 ConwayF16' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `PolynomialAsType F2 ConwayF16' Math/Algebra/Field/Extension.hs:184:10: Illegal instance declaration for `PolynomialAsType F5 ConwayF25' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `PolynomialAsType F5 ConwayF25' Math/Algebra/Field/Extension.hs:190:10: Illegal instance declaration for `PolynomialAsType F3 ConwayF27' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `PolynomialAsType F3 ConwayF27' Math/Algebra/Field/Extension.hs:196:10: Illegal instance declaration for `PolynomialAsType F2 ConwayF32' (All instance types must be of the form (T a1 ... an) where a1 ... an are *distinct type variables*, and each type variable appears at most once in the instance head. Use -XFlexibleInstances if you want to disable this.) In the instance declaration for `PolynomialAsType F2 ConwayF32' Failed to install HaskellForMaths-0.4.2 cabal: Error: some packages failed to install: HaskellForMaths-0.4.2 failed during the building phase. The exception was: ExitFailure 1