Mañana doy final de Paradigmas y me surgió una duda de último momento.
Intenté hacer unas consultas con el Winhugs:

> :t (==)
(==) :: Eq a => a -> a -> Bool
> :t "baa" == "aaa"
"baa" == "aaa" :: Bool
> :t True == True
True == True :: Bool
> :t 1 == 1
1 == 1 :: Num a => Bool

Lo que no entiendo para nada es porque "1 == 1 :: Num a => Bool" y para el resto no me devuelve ningún tipo ni tampoco el "Eq a=> " que, según la teoría, debería aparecer en toda función que contenga el operador "==".
¿Es esto un problema del Winhugs? ¿Estoy encarando algo mal? ¿Cómo explicaría esto en un final?

Desde ya agradezco cualquier tip!

Saludos