constXYXsubstGHWGWHWfixJX1JfixJX1XaYbGcdeHcdWcJfgfgX1fconstabafixfgfgfgsubstcdecdceFULLbenchmarks/applicative/Applicative_05__Ex2_8_1ConstSubstFix.atrs