Not Found: There is no documentation for z3-0.1.1. See https://hackage.haskell.org/package/z3/docs/Z3-Base.html for the latest version.