ImplicitTreap