Hi, I am wondering how can I pass an overloaded function as a parameter to another function. Consider the following example. I want to tell the compiler that the argument `fun' in `trickyFun' definition is always either ord' or chr', and hence it can find the correct overloaded version in both the cases (1) & (2). Thanks, Saswat class X a where ord' :: a -> Int chr' :: a -> Char instance X Int where ord' = id chr' = chr instance X Char where ord' = ord chr' = id trickyFun fun = let x = fun (2::Int) -----------(1) y = fun 'c' -----------(2) in "tricky"