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