UTNianos

Buenas estoy resolviendo un final y tengo inconvenientes con la definicion de tipo de la siguiente funcion:
funcionLoca a lista = map (\b-> b a ) lista

Segun pude ver en una resolucion me tendria que quedar :
a-> [(a->b)] -> [b]


no entiendo como se llega a que lista es una lista de funciones, desde ya cualquier ayuda es bienvenida.
Muchas gracias.

Fijate que la funcionLoca lo unico que hace es un map de la lista que recibe . Por cada elemento de la lista , llamese b , hace b a, eso te indica entonces que b es una funcion. Entonces, a la salida vas a tener una lista con todas las sallidas de aplicar b a . No se si se me entiende.

Saludos

sissi entendi !!!! muchas gracias!