In Haskell, is the following transformation always legal? \x->\y->e transforms to \x y->e After answering this question, please scroll down about 75 lines for a follow-up question. What if the two lambda-bound variables are the same? I.e., the lhs is \x->\x->e Please refer to Section 3.3 of the Haskell 98 Report, para 3 (one line para).