ap ap f x x ap ap x ap f x ap ap cons x nil ap ap ap foldr g h nil h ap ap ap foldr g h ap ap cons x xs ap ap g x ap ap ap foldr g h xs 2.2 ap ap ap foldr g h ap ap cons x xs ap g x ap ap f x x ap ap cons x nil ap ap f x x ap cons x ap ap f x x ap x ap f x ap ap ap foldr g h ap ap cons x xs ap ap ap foldr g h xs ap ap ap foldr g h ap ap cons x xs ap ap g x ap ap ap foldr g h xs ap ap f x x ap ap x ap f x ap ap cons x nil true ap ap f x x ap ap x ap f x ap ap cons x nil ap ap ap foldr g h ap ap cons x xs ap ap g x ap ap ap foldr g h xs ap ap ap foldr g h ap ap cons x xs ap ap ap foldr g h xs ap ap f x x ap x ap f x ap ap ap foldr g h ap ap cons x xs ap g x true Failed! NaTT certifiable-1.6