Hola! Estuve intentando resolver el ejercicio Ejercicio 8: Inferencia 8 de mumuki
Escribir el tipo de la siguiente función:
f1 x y = 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:
f 5 "hola"
f True 5

Pensé que quizás tiene alguna relación con la función ID.
Intente con: f1::Show a=> a->a->a

Pero me da error en el caso de f1 True 5

Ahí estas diciendo que *obligatoriamente* el tipo de x es el mismo tipo que y.

deberías tener algo así: a -> b -> a