reg006.idr:17:1:
RBTree.lookup is possibly not total due to recursive path RBTree.lookup --> RBTree.lookup