plus 0 X X plus s Y U s plus Y U times 0 V 0 times s W P plus times W P P inc X1 map plus s 0 X1 double Y1 map times s s 0 Y1 map G1 nil nil map H1 cons W1 P1 cons H1 W1 map H1 P1 X a Y a U a V a W a P a X1 b Y1 b G1 a a H1 a a W1 a P1 b 0 a cons a b b double b b inc b b map a a b b nil b plus a a a s a a times a a a FULL benchmarks/applicative/AotoYamada_05__021.atrs