Obviously every type system in practice has escape hatches. But I’ve never seen another staticly-typed language where you need to break out of the type system s

Obviously every type system in practice has escape hatches. But I’ve never seen another staticly-typed language where you need to break out of the type system so regularly. Go’s type system has your back when you’re writing easy stuff. But it throws up its hands and leaves you to fend for yourself when you need to do nearly anything interesting or complex, which is precisely when I want the type system to have my back. I should not have to worry (or worse, not worry and be caught off guard) that my pool of database connections suddenly starts handing back strings.