Ejercicio 8: tipos-08

Escribir el tipo de la siguiente función:

f1 f x m = (f m).x

Nota: no definir la función, sólo escribir su tipo en la forma

f1 :: ....
¡Dame una pista!

Pensar que las siguientes expresiones deberían tipar:

  • f1 (+) (+1) 1 2
  • f1 (++) (:[]) [2] 3

Tenés que iniciar sesión antes de empezar a enviar tus soluciones