Ejercicio 10: tipos-10

Escribir el tipo de la siguiente función:

f1 a1 a2 a3 = a1 a3 == a2 a3

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 (:"a") (:"b") a == True
  • f1 (+1) (*2) 4 == False

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