Type-safe red-black-tree, proof of concept