πDD (Permutation Decision Diagram) library for Haskell