uncurryFYUFYUFabcYaUbuncurryabcabcFULLbenchmarks/applicative/AotoYamada_05__017.atrs