Red black trees with GADTs
Examples of complete trees