Dirt simple haskell picosat bindings