Segun entiendo, la motivacion para las tecnicas de fusion surgen de la necesidad de no malgastar espacio y/o tiempo en llenar estructuras intermedias en una computacion que se compone de varias etapas.
En el caso de trabajar con el tipo inductivo Lista, es esto necesario? Por como es la evaluacion lazy, las funciones que componen el pipe van solicitando informacion de input solo cuando es necesario (se solicita de izquierda a derecha), es decir, de a un caracter a la vez, por lo que se gasta solo O(1) de espacio.
Si entiendo que es necesario cuando se trabaja con arreglos inmutables, por ejemplo, donde se generan estructuras intermedias en cada paso del pipe (si se hace un cambio en cada etapa, hay que crear un arreglo nuevo que contemple ese cambio).
Es como estoy diciendo? O hay algo para corregir?
Saludos
Damian