[Haskell-cafe] Re: All equations must have the same arity - why?

"Neil Mitchell" wrote:

i.e. lift the arities to the longest argument list.

Is there a reason this isn't done?

Most likely not, there are being made up right now. Because f = sort.nub is different from f x = (\x -> sort.nub x) or f = sort.nub.id or f = sort.nub.id.id.id.id.id.id , and such behaviour would confuse the hell out of me as well as seriously hurt my sense of semantic aesthetics, even if it's just no-ops. Or the same lambda term, which is exactly my point. -- (c) this sig last receiving data processing entity. Inspect headers for past copyright information. All rights reserved. Unauthorised copying, hiring, renting, public performance and/or broadcasting of this signature prohibited.