C++ libraries and GHCI