The sbv library can be installed simply by issuing cabal install like this:

     cabal install IEEE754