We should document that this means "don't handle comments" in `whiteSpace`.