functional implementation of redblack tree (haskell) for technical report "efficient support for common relations in lightweight formal reasoning systems".