let
gc f p =
V
.gc f p.v