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