Resolving dependencies...
Downloading seclib-0.5...
Configuring seclib-0.5...
Building seclib-0.5...
Preprocessing library seclib-0.5...
[1 of 7] Compiling SecLib.Lattice   ( SecLib/Lattice.hs, dist/build/SecLib/Lattice.o )
[2 of 7] Compiling SecLib.Sec       ( SecLib/Sec.hs, dist/build/SecLib/Sec.o )

SecLib/Sec.hs:39:1:
    Could not deduce (Less s s'0)
      arising from the ambiguity check for `up'
    from the context (Less s s')
      bound by the inferred type for `up':
                 Less s s' => Sec s t -> Sec s1 t
      at SecLib/Sec.hs:(39,1)-(42,52)
    The type variable `s'0' is ambiguous
    Possible fix: add a type signature that fixes these type variable(s)
    When checking that `up'
      has the inferred type `forall t s s' s1.
                             Less s s' =>
                             Sec s t -> Sec s1 t'
    Probable cause: the inferred type is ambiguous
Failed to install seclib-0.5
cabal: Error: some packages failed to install:
seclib-0.5 failed during the building phase. The exception was:
ExitFailure 1