compose F Z U F Z U F b c Z a b U a compose b c a b a c FULL benchmarks/applicative/Applicative_05__Ex2_6_1Composition.atrs