what is the type of 'shf' in

foo :: (a -> String) -> a -> () foo shw x = let shf o = shw o

in return ()

for it certainly is not 'shf :: a -> String', as this explicit signature will not type check ? ____________ Virus checked by G DATA AntiVirusKit Version: AVK 12.0.37 from 06.12.2002 Virus news: www.antiviruslab.com