Documentation
ex2 :: Term ((((b2 -> b1) -> b2 -> b1) -> b) -> b)
ex3 :: Term (b3 -> (((b3 -> b2 -> b1) -> b2 -> b1) -> b) -> b)
ex4 :: Term (((b1 -> b) -> b2 -> b) -> (((b1 -> b) -> b2 -> b) -> b2 -> b1) -> b2 -> b1)
ex5 :: Term (((b2 -> b1) -> b) -> (b2 -> b1) -> b)
exP :: Term (((b1 -> b1) -> b) -> (b1 -> b1) -> b)