2 (function a -> (function p -> (function a1 -> p)))
6 (function a -> (function p -> (function a1 -> p)))
10 (function x -> (function p -> (function y -> p)))
14 (function x -> (function p -> (function y -> p)))
18 (function x -> (function p -> (function y -> p)))