(re)formulate pgf in terms of `choose` if possible

[zenna]

Given some function f, such as +, it seems like we should be able to formulate the pgf in terms of choose

Something like choose(+, Tuple{Int, Int}, ::XY, ::\Theta)