[Haskell-cafe] Deciding equality of functions.