plus 0 X X plus s Y U s plus Y U inc V map plus s 0 V map I nil nil map J cons X1 Y1 cons J X1 map J Y1 X a Y a U a V b I a a J a a X1 a Y1 b 0 a cons a b b inc b b map a a b b nil b plus a a a s a a FULL benchmarks/applicative/AotoYamada_05__027.atrs