ghci-8.5: The library supporting GHC's interactive interpreter