When is it feasible for function types to be instances of the Eq class?

[derekmahar]

The solution does not clearly explain when it is feasible for function types to be instances of the Eq class. Does the solution mean the types of the arguments and return value of the function?

programming-in-haskell/03-types-and-classes/03.11-exercises.hs

Line 61 in 0af2c48

-- It is feasible for all basic types which are instances of the Eq class.