Estou estudando Haskell, e não entendo por que esse código não compila:
foo :: Int -> Double -> Double
foo a b = a+b
A mensagem de erro é:
Couldn't match expected type `Double' with actual type `Int'
In the first argument of `(+)', namely `a'
In the expression: a + b
In an equation for `foo': foo a b = a + b
Eu sei que o operador '+' é uma função com os parâmetros
(+) :: (Num a) => a -> a -> a
mas os tipos Int e Double são instâncias de Num.
Então, Por que o compilador não aceita esse código??
Muito Obrigado!