How would a static type system have anything to do with handholding?