Data.PolyProxy

data P a