Ejercicio 4: tipos-04

Escribir el tipo de la siguiente función:

f1 x y m = x . y. m

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 not not not) True
  • f1 pred succ head

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