quanticle comments on Type-safeness in Shell