Resultado de la búsqueda: composicionalidad y recursividad