https://github.com/yairchu/red-black-tree https://github.com/yairchu/red-black-tree Has implementations of some binary search trees with GADTs to guarantee, at

https://github.com/yairchu/red-black-tree https://github.com/yairchu/red-black-tree Has implementations of some binary search trees with GADTs to guarantee, at compile-time, that most of the tree's invariants always hold.