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. _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
