Some examples of using Z3 from Haskell.