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