Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations - View it on GitHub