да, если правильно пишешь типы то неправильно следующий тип написать будет сложнее
Ну блин, условно
У тебя программа считает НДС
Ты думал, что он 18%, а он 20%
Абсолютно никакой тип тебя от этого не спасёт, если у тебя нет единого типизированного описания абсолютно всего мира