Switched [p] to Proxy p. In the presence of PolyKinds on 7.6 it matters.