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' ..."