uncurry F Y U F Y U F a b c Y a U b uncurry a b c a b c FULL benchmarks/applicative/AotoYamada_05__017.atrs