Dada una función "f" del tipo formula_1, currificándola sería una función del tipo formula_2.