f1 x y= x + y
g1::a->(a->a->a)->[a]->a
g1 n f xs
n2 = f n x
in g1 n2 f xs2
main = let
t=g1 0 f1 [1,2,3,4]
ZjEgOjogSW50IC0+IEludCAtPiBJbnQKZjEgeCB5PSB4ICsgeQpnMTo6YS0+KGEtPmEtPmEpLT5bYV0tPmEKZzEgbiBmIHhzCiAgICAgICB8bnVsbCB4cyA9IG4KICAgICAgIHxvdGhlcndpc2UgPSBsZXQgeCA9IGhlYWQgeHMKICAgICAgICAgICAgICAgICAgICAgICAgeHMyID0gdGFpbCB4cwogICAgICAgICAgICAgICAgICAgICAgICBuMiA9IGYgbiB4CiAgICAgICAgICAgICAgICAgICAgaW4gZzEgbjIgZiB4czIKbWFpbiA6OiBJTygpCm1haW4gPSBsZXQKICAgICAgIHQ9ZzEgMCBmMSBbMSwyLDMsNF0KICAgICAgIGluIHByaW50IHQ=