Hi,everyone Suppose I have a function: compFix :: (F1,F2)->(F1,F2) which have functions as it's arguments and returns functions as it's results,here two arguments have types for example: type F1 = Int -> Bool type F2 = Int ->[Int] How should I define the instance declaration of Show class for my function type variables so that I can print the list of argument-result pairs out? Thanks Rui ---------------------------------------- This mail sent through www.mywaterloo.ca