Es posible hacerlo "usando" foldN. El tema aquí es que no tenés acceso al n en el caso (S n), por lo que tenés que reconstruirlo en la recursión.
Es posible hacerlo "usando" foldN. El tema aquí es que no tenés acceso al n en el caso (S n), por lo que tenés que reconstruirlo en la recursión.