Resolving dependencies...
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-6032/dimensional-0.7.2/dist/setup/setup.hs, /tmp/cabal-tmp-6032/dimensional-0.7.2/dist/setup/Main.o )
Linking /tmp/cabal-tmp-6032/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:
    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’
    In the instance declaration for ‘Sum a b c’
Failed to install 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