More type soundness.