Reduced Ordered Binary Decision Diagrams Inspired by “A purely functional implementation of ROBDDs in Haskell.” by Jan Christiansen and Frank Huch.