Agreed! Although I like the idea of considering each logical branch added to my programs. It kind of forces me to think through how variance is being treated in my call stack.