A unique, ordered stack implementation in Haskell.