>No, function has only one argument, and can do more kind of polymorphism than 
>fun which can take more than one argument as in :

Is this actually true that function can be more polymorphic?  What's an example?

Chris