Haskell bindings to the CUDD binary decision diagram library