Var "a"
no: Right (100,Var "a")
ap: Right (100,Var "a")
Abs "a" (Abs "b" (App (Var "a") (App (Var "b") (Var "_b"))))
no: Right (100,Abs "a" (Abs "b" (App (Var "a") (App (Var "b") (Var "_b")))))
ap: Right (100,Abs "a" (Abs "b" (App (Var "a") (App (Var "b") (Var "_b")))))
Abs "a" (Abs "b" (App (App (Var "a") (Var "b")) (Var "_b")))
no: Right (100,Abs "a" (Abs "b" (App (App (Var "a") (Var "b")) (Var "_b"))))
ap: Right (100,Abs "a" (Abs "b" (App (App (Var "a") (Var "b")) (Var "_b"))))
Abs "x" (App (Var "x") (Var "x"))
no: Right (100,Abs "x" (App (Var "x") (Var "x")))
ap: Right (100,Abs "x" (App (Var "x") (Var "x")))
App (Abs "a" (Abs "b" (App (Var "a") (App (Var "b") (Var "_b"))))) (Var "a")
no: Right (99,Abs "b" (App (Var "a") (App (Var "b") (Var "_b"))))
ap: Right (99,Abs "b" (App (Var "a") (App (Var "b") (Var "_b"))))
App (Abs "a" (Abs "b" (App (App (Var "a") (Var "b")) (Var "_b")))) (Var "a")
no: Right (99,Abs "b" (App (App (Var "a") (Var "b")) (Var "_b")))
ap: Right (99,Abs "b" (App (App (Var "a") (Var "b")) (Var "_b")))
App (Abs "a" (Abs "b" (App (Var "a") (App (Var "b") (Var "_b"))))) (Var "b")
no: Right (99,Abs "__b" (App (Var "b") (App (Var "__b") (Var "_b"))))
ap: Right (99,Abs "__b" (App (Var "b") (App (Var "__b") (Var "_b"))))
App (Abs "a" (Abs "b" (App (App (Var "a") (Var "b")) (Var "_b")))) (Var "b")
no: Right (99,Abs "__b" (App (App (Var "b") (Var "__b")) (Var "_b")))
ap: Right (99,Abs "__b" (App (App (Var "b") (Var "__b")) (Var "_b")))
App (Abs "a" (Abs "b" (App (Var "a") (App (Var "b") (Var "_b"))))) (Var "_b")
no: Right (99,Abs "b" (App (Var "_b") (App (Var "b") (Var "_b"))))
ap: Right (99,Abs "b" (App (Var "_b") (App (Var "b") (Var "_b"))))
App (Abs "a" (Abs "b" (App (App (Var "a") (Var "b")) (Var "_b")))) (Var "_b")
no: Right (99,Abs "b" (App (App (Var "_b") (Var "b")) (Var "_b")))
ap: Right (99,Abs "b" (App (App (Var "_b") (Var "b")) (Var "_b")))
App (App (Abs "a" (Abs "b" (App (Var "a") (App (Var "b") (Var "_b"))))) (Var "_b")) (Var "_b")
no: Right (98,App (Var "_b") (App (Var "_b") (Var "_b")))
ap: Right (98,App (Var "_b") (App (Var "_b") (Var "_b")))
App (App (Abs "a" (Abs "b" (App (App (Var "a") (Var "b")) (Var "_b")))) (Var "_b")) (Var "_b")
no: Right (98,App (App (Var "_b") (Var "_b")) (Var "_b"))
ap: Right (98,App (App (Var "_b") (Var "_b")) (Var "_b"))
Abs "a" (Abs "b" (Abs "c" (Abs "d" (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d"))))))
no: Right (100,Abs "a" (Abs "b" (Abs "c" (Abs "d" (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d")))))))
ap: Right (100,Abs "a" (Abs "b" (Abs "c" (Abs "d" (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d")))))))
App (Abs "a" (Abs "b" (Abs "c" (Abs "d" (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d"))))))) (App (Abs "a" (Var "a")) (Abs "b" (Var "b")))
no: Right (97,Abs "b" (Abs "c" (Abs "d" (App (Var "b") (App (Var "c") (Var "d"))))))
ap: Right (97,Abs "b" (Abs "c" (Abs "d" (App (Var "b") (App (Var "c") (Var "d"))))))
App (App (Abs "a" (Abs "b" (Abs "c" (Abs "d" (App (App (Var "a") (Var "b")) (App (Var "c") (Var "d"))))))) (Abs "a" (Var "b"))) (App (Abs "x" (App (Var "x") (Var "x"))) (Abs "x" (App (Var "x") (Var "x"))))
no: Right (97,Abs "c" (Abs "d" (App (Var "b") (App (Var "c") (Var "d")))))
ap: Left TooLoong
App (Abs "x" (App (Var "x") (Var "x"))) (Abs "x" (App (Var "x") (Var "x")))
no: Left TooLoong
ap: Left TooLoong