let
d s x =
List
.map fst (
Partition
.d s.p (v s x))