[Haskell] Haskell OBDD package?