type-level-bst (hackage): Type-Level Binary Search Tree in Haskell
Keywords: bsd3|data-structures|dependent-types|library