[Haskell-cafe] Re: Some lambda identities