type-level-bst-0.1: done