now Treap depends on only one type parameter