Ejercicio 3: tipos-03

Escribir el tipo de la siguiente función:

f1 m x y z = z (m x) (m y)

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 succ 1 2 (+) == 5
  • f1 not True False (&&) == False
  • f1 head [2, 3] [4] (*) == 8

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