Rename a type variable to `result3` for consistency.