A wrapper around GHC which allows batch queries to be made about a program