-- Applies f two times to argument 3 and sums 2
-- 2 + ((f ** 2)(3))
2 + f ** 2(3)