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 inc map plus s 0 X b Y b U b H b b I b b P b X1 a 0 b cons b a a inc a a map b b a a nil a plus b b b s b b FULL benchmarks/applicative/AotoYamada_05__007.atrs