Resolving dependencies... Configuring dimensional-0.7.2... Building dimensional-0.7.2... Failed to install dimensional-0.7.2 Build log ( /home/builder/.cabal/logs/dimensional-0.7.2.log ): cabal: Entering directory '/tmp/cabal-tmp-20474/dimensional-0.7.2' [1 of 1] Compiling Main ( /tmp/cabal-tmp-20474/dimensional-0.7.2/dist/setup/setup.hs, /tmp/cabal-tmp-20474/dimensional-0.7.2/dist/setup/Main.o ) Linking /tmp/cabal-tmp-20474/dimensional-0.7.2/dist/setup/setup ... Configuring dimensional-0.7.2... Warning: No 'build-type' specified. If you do not need a custom Setup.hs or ./configure script then use 'build-type: Simple'. Building dimensional-0.7.2... Preprocessing library dimensional-0.7.2... [1 of 8] Compiling Numeric.NumType ( Numeric/NumType.lhs, dist/build/Numeric/NumType.o ) Numeric/NumType.lhs:240:12: error: • Illegal instance declaration for ‘Sum a b c’ The liberal coverage condition fails in class ‘Sum’ for functional dependency: ‘a c -> b’ Reason: lhs types ‘a’, ‘c’ do not jointly determine rhs type ‘b’ Un-determined variable: b • In the instance declaration for ‘Sum a b c’ cabal: Leaving directory '/tmp/cabal-tmp-20474/dimensional-0.7.2' cabal: Error: some packages failed to install: dimensional-0.7.2 failed during the building phase. The exception was: ExitFailure 1