programming-in-haskell
programming-in-haskell copied to clipboard
Why is it not feasible in general for function types to be instances of the Eq class?
The solution does not explain why it is not feasible in general for function types to be instances of the Eq class.
https://github.com/evturn/programming-in-haskell/blob/0af2c48c8221b5bcd052492e2be2b79635f6994c/03-types-and-classes/03.11-exercises.hs#L58