| forall tends to be used with one argument, hence the reason | its not really biting right now. If no-one objects, I'll | change it this week at some point, to match GHC. The "lambda | does not use comma" seems convincing to me. Great, thank you. Simon