I'm looking for current Haskell implementations of (ordered) binary decision diagrams. (Yes, I tried google but this gives links from 2004 and earlier.) Thanks - Johannes Waldmann.