3 ms·

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