Haskell library for probabilistic inference with AND/OR graphs