Buenas, estoy con este ejercicio hace bastante tiempo y no le puedo dar la vuelta:

f1 x y = x || even y

* x es un booleano

Tengo que sacar el tipo.

Yo se que even es del tipo (Integral a) => a -> bool

Necesito sacar el tipo de f1:

Yo lo plantee hasta ahora :

f1 :: (Eq a, Integral b) => a -> b -> bool

Si alguno me da una mano estaría de 10

Gracias.

Cita:* x es un booleano

Si sabés que x es booleano usá Bool

 f1 :: Integral a => Bool->a-> Bool 

(13-04-2018 11:35)fav escribió:  

Cita:* x es un booleano

Si sabés que x es booleano usá Bool

 f1 :: Integral a => Bool->a-> Bool 

Te agradezco mucho, no sabes lo inútil que me sentí cuando leí tu respuesta. Le di 200 vueltas y era poner así...

Gracias

Jaja puede pasar.