> having this kind of convenience let you be lazy about design

Or, conversely, this kind of correctness by construction allows you to focus on parts of the program that could suffer from non-trivial bugs