Там исключение скорее что-то вроде assert'а.
А-ля, используется одна модель юзера там, где он может прийти без id и там, где он гарантированно приходит с id.
Но на это один тип данных, поэтому тут делается ассерт, что из базы он нам точно с id пришел
Опять же, вся мощь системы типов, умные алгебры и все виды монад не позволили выразить это по-другому?
Он же уже наоверинжинирил, почему нельзя было намазать сверху для совсем чистой фпшечки?
Я прям не понял автора. Лишь укрепился в своём мнении на его счёт и кода в частности