Type checking and schema are two different things. Both your application and documentation will assume certain state to be true, but only with type checking yo

Type checking and schema are two different things. Both your application and documentation will assume certain state to be true, but only with type checking you can actually verify if it's correct.