Daniel Steinberg unwittingly shows us why static typing adds so much complexity to a language and to the lives of developers using it, in a discussion about auto-boxing.