Ejercicio 6: tipos-06

Escribir el tipo de la siguiente función:

f1 (x, y) f m = (f x (fst m), f y (snd 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 (2, 3) (*) (4, 5)
  • f1 ([], []) (++) ([], [])

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