> Interestingly, when I want hugs to show me the type > of > > fun::(forall a.[a]->Int)->[b]->[c]->Int > it tells me: ERROR - Use of fun requires at least 1 argument > Why that? At least I have explicitely specified the type. Hmm, ghci behaves properly. But using hugs I get the same error :-(. No idea! Maybe some additional flags have to be set? Ciao, Steffen