Resolving dependencies... Configuring dimensional-0.7.1... Building dimensional-0.7.1... Failed to install dimensional-0.7.1 Build log ( /home/builder/.cabal/logs/dimensional-0.7.1.log ): cabal: Entering directory '/tmp/cabal-tmp-27711/dimensional-0.7.1' [1 of 1] Compiling Main ( /tmp/cabal-tmp-27711/dimensional-0.7.1/dist/setup/setup.hs, /tmp/cabal-tmp-27711/dimensional-0.7.1/dist/setup/Main.o ) Linking /tmp/cabal-tmp-27711/dimensional-0.7.1/dist/setup/setup ... Configuring dimensional-0.7.1... 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.1... Preprocessing library dimensional-0.7.1... [1 of 7] 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-27711/dimensional-0.7.1' cabal: Error: some packages failed to install: dimensional-0.7.1 failed during the building phase. The exception was: ExitFailure 1