Our apologies, but the repository "iago/z3-haskell" has been deleted.
It now lives at https://github.com/IagoAbal/haskell-z3.