map F nil nil map Z cons U V cons Z U map Z V F a a Z a a U a V b cons a b b map a a b b nil b FULL benchmarks/applicative/AotoYamada_05__024.atrs