Re: [Haskell-cafe] What is an "expected type" ...

Hi Michael, michael rice wrote:

as opposed to an "inferred type"?

Can you deduce from the following example?

Prelude> let foo = () :: Int <interactive>:1:10: Couldn't match expected type `Int' against inferred type `()' In the expression: () :: Int In the definition of `foo': foo = () :: Int

Hope this helps! Martijn.