So you prefer runtime crashes to compiler diagnostics, just so the type system can be "simpler"? I find these priorities backwards.