[Haskell] type question revisited

I answered my own question only to raise another - what I wanted to do is this

foo :: (a -> String) -> [a] -> [String] foo shw x = let shf :: ( forall a . a ) -> String shf o = shw o

in map shf x

the type of shf is a rank 2 type - but how do you map it ? as the above gives thise error in hugs: Use of shf requires at least 1 argument ____________ Virus checked by G DATA AntiVirusKit Version: AVK 12.0.37 from 06.12.2002 Virus news: www.antiviruslab.com