Haskell API for Z3 SMT Solver