This function:
hola :: (Integral a) => a -> String
hola 1 = "OK"
hola _ = "asdf"
works fine. But this one:
hola :: (Num a) => a -> String
hola 1 = "OK"
hola _ = "asdf"
can't be compiled: "Could not deduce (Eq a) arising from the literal `1'"
I really don't get it. I am reading a tutorial where it is said
"Integral is also a numeric typeclass. Num includes all numbers, including real numbers and integral numbers, Integral includes only integral (whole) numbers. In this typeclass are Int and Integer." http://learnyouahaskell.com/types-and-typeclasses
Why can't I use Num?