и зачем, если я могу валидировать обычную строку, обычной функцией?
А говорил, что читал. Там рассказывается почему parse предпочтительнее.
Как минимум тем, что ты потом можешь не беспокоится соблюдён у тебя инвариант, или нет. Наличие самого типа выражает то, что инвариант upheld.