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 _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell
