apple-0.1.0.0: test/examples/poly.apple

λp.λx. (+)/ ((*)`(~p) (gen. 1 (*x) (𝓉p)))