That's my experience as well. Static types are overrated. Okay, so you caught the obvious errors a few minutes earlier, but while you were wrestling with types

That's my experience as well. Static types are overrated. Okay, so you caught the obvious errors a few minutes earlier, but while you were wrestling with types, I ran 30 quick tests validating the behavior, and made them unit tests. I've only ever had trivial type error bugs, all the nasty ones are behavioral or related to race conditions, or at the boundaries where types don't exist.