pure Haskell implementation of reduced ordered binary decision diagrams