Resolving dependencies...
Downloading ImperativeHaskell-1.0.0.1...
Configuring ImperativeHaskell-1.0.0.1...
Building ImperativeHaskell-1.0.0.1...
Preprocessing library ImperativeHaskell-1.0.0.1...
[1 of 4] Compiling Control.Monad.Imperative.Internals ( Control/Monad/Imperative/Internals.hs, dist/build/Control/Monad/Imperative/Internals.o )
[2 of 4] Compiling Control.Monad.Imperative.FunctionFactory ( Control/Monad/Imperative/FunctionFactory.hs, dist/build/Control/Monad/Imperative/FunctionFactory.o )
[3 of 4] Compiling Control.Monad.Imperative.Operators ( Control/Monad/Imperative/Operators.hs, dist/build/Control/Monad/Imperative/Operators.o )
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
Loading package array-0.4.0.1 ... linking ... done.
Loading package deepseq-1.3.0.1 ... linking ... done.
Loading package containers-0.5.0.0 ... linking ... done.
Loading package pretty-1.1.1.0 ... linking ... done.
Loading package template-haskell ... linking ... done.
Loading package transformers-0.3.0.0 ... linking ... done.
Loading package mtl-2.1.2 ... linking ... done.

Control/Monad/Imperative/Operators.hs:23:20:
    No instance for (Ord b1) arising from a use of `<'
    The type variable `b1' is ambiguous
    Possible cause: the monomorphism restriction applied to the following:
      <. :: V b10 r0 b1 -> V b20 r0 b1 -> V Comp r0 Bool
        (bound at Control/Monad/Imperative/Operators.hs:23:1)
    Probable fix: give these definition(s) an explicit type signature
                  or use -XNoMonomorphismRestriction
    Note: there are several potential instances:
      instance Integral a => Ord (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      instance Ord Data.Monoid.All -- Defined in `Data.Monoid'
      instance Ord Data.Monoid.Any -- Defined in `Data.Monoid'
      ...plus 36 others
    In the first argument of `liftOp2', namely `(<)'
    In the expression: liftOp2 (<) a b
    In an equation for `<.': <. a b = liftOp2 (<) a b

Control/Monad/Imperative/Operators.hs:24:20:
    No instance for (Ord b0) arising from a use of `>'
    The type variable `b0' is ambiguous
    Possible cause: the monomorphism restriction applied to the following:
      >. :: V b10 r0 b0 -> V b20 r0 b0 -> V Comp r0 Bool
        (bound at Control/Monad/Imperative/Operators.hs:24:1)
    Probable fix: give these definition(s) an explicit type signature
                  or use -XNoMonomorphismRestriction
    Note: there are several potential instances:
      instance Integral a => Ord (GHC.Real.Ratio a)
        -- Defined in `GHC.Real'
      instance Ord Data.Monoid.All -- Defined in `Data.Monoid'
      instance Ord Data.Monoid.Any -- Defined in `Data.Monoid'
      ...plus 36 others
    In the first argument of `liftOp2', namely `(>)'
    In the expression: liftOp2 (>) a b
    In an equation for `>.': >. a b = liftOp2 (>) a b
Failed to install ImperativeHaskell-1.0.0.1
cabal: Error: some packages failed to install:
ImperativeHaskell-1.0.0.1 failed during the building phase. The exception was:
ExitFailure 1