id X X add 0 id add s Y U s add Y U map H nil nil map I cons P X1 cons I P map I X1 X a Y a U a H b b I b b P b X1 c 0 a add a a a cons b c c id a a map b b c c nil c s a a FULL benchmarks/applicative/AotoYamada_05__Ex1SimplyTyped.atrs