λn . λf . λx . f (n f x)