Generic narrowing types / linear types (like if you check that a string has length 10, then its type knows, and functions accepting bounded strings can accept it.)
This makes it easier to split raw inputs from validated inputs and delimiting where they are used in the code.
This makes it easier to split raw inputs from validated inputs and delimiting where they are used in the code.