implicit in(p)