[Haskell-cafe] Newbie question

[Alexander Seliverstov]

Hi, I try to undestand why this code dosen't work

f :: (Num a)=>Integer->a

f i = i

Integer is an instance of Num, so why does this code produce error:
"Couldn't  match expected type 'a' againsta inferred type 'Integer' ..."
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20080121/e78567b1/attachment.htm