ну то бишь State, StateT и прочие — это частные случаи общего Read Write State Transform, и вот мне всегда было интересно, чем именно обусловлена его универсальность, ну и в конце концов попробовал применить её к имеющимся у нас задачам
это статическая связь, её преимущество как раз и есть в том, что она работает быстро, так как все валидации и обработки применяются один раз, при создании