An authenticated AVL+ tree implementation in Haskell - View it on GitHub