haskell-presburger