BDD (Boolean Decision Diagram) bindings for Haskell