recFY0YrecGVsWGsWrecGVWFabbYbGabbVbWa0arecabbbabsaaFULLbenchmarks/applicative/Applicative_05__Ex6Recursor.atrs