I doubt it matters much in practice, but my instinct was to declare the narrowest correct type on general principles.