/p/haskell-simple-smt/