| Right, but I'm also interested in GHC's desugaring. The old deal was | that the argument order was the order of the leftmost occurrences of the | variables in the type. Is that changing, or is this protection against | any change in the future?
I don't think that was ever an explicit rule. The rule is only that it's the order of the for-alls and otherwise undefined. Now, I think there may well be a case for nailing down the order when there aren't explicit for-alls, but the case hasn't been made yet. S _______________________________________________ Cvs-libraries mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/cvs-libraries
