Type-Level Red Black Tree in Haskell