With sufficiently adequate drivers seatbelts are superfluous indeed. Apart from an analogy is a template of your argument. It is the logic of the argument itse

With sufficiently adequate drivers seatbelts are superfluous indeed. Apart from an analogy is a template of your argument. It is the logic of the argument itself. Errors also happen sometimes without type systems being to blame (they only catch a subset of errors). The marginal costs of a type system is usually very low too, so it seems to be a great fit.