Kind of, you can't have your cake and eat it too.

When it comes to typing systems you have to pick 2: Depth, Mutability, Soundness