[Haskell-cafe] What's the motivation for η rules?