f X X g Z U s V g Z U Z U 0 X a Z b d e U b V c 0 d f a a g b d e b e f s c e FULL benchmarks/applicative/Applicative_05__termMonTypes.atrs