plus 0 X X plus s Y U s plus Y U map H nil nil map I cons P X1 cons I P map I X1 curry Z1 U1 V1 Z1 U1 V1 inc map curry plus s 0 X b Y b U b H b b I b b P b X1 a Z1 b b b U1 b V1 b 0 b cons b a a curry b b b b b b inc a a map b b a a nil a plus b b b s b b FULL benchmarks/applicative/AotoYamada_05__011.atrs