plus0XXplussYUsplusYUcurryHWPHWPaddcurryplusXaYaUaHaaaWaPa0aaddaaacurryaaaaaaplusaaasaaFULLbenchmarks/applicative/AotoYamada_05__005.atrs