I sometimes use type inference when I can't remember what type something returns. Yes, you certainly could call that lazy, but more accurate would be efficient: Hovering over the variable tells me the type, so either I look it up online, or look it up by letting the IDE tell me.