Every time you write a refinement on a type, you're actually writing a contract. You can gracefully move between types and contracts this way, and also between thinking of them as checked assertions vs tested ones. The goal is to make this migration more and more seamless.

Yes, I although I have used a multitude of dynamic languages on my career I tend to lean on the static type languages with type inference side.