In `[1, 2, 3].map((n) => n * 2)`, what type is `n` contextually typed as?