What still feels a bit weird is that the type inferences decides to use a different type in the two cases. I would hope it makes a more consistent decision about the type it chooses.