Using forall in Z3 haskell

Question

I\'m using z3 package in haskell, but can\'t figure out from the documentation how to call mkForall

I\'m trying to implement this

<