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