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