ap ap g x y y ap f x ap f app g x 2.2 ap f x ap f app g x true ap f x ap f app g x true Failed! NaTT certifiable-1.6