I just listened to this podcast[0], and there's a really great discussion in there about when it's nice to have types, and when it's more trouble than it's really worth.
That's why javascript's flow[1] appeals to me so much, and I'm really interested in core.typed.