g F Y Y f G f g G F a a Y a G a a f a a b g a a a a FULL benchmarks/applicative/Applicative_05__TypeEx5.atrs