IK
Я много думал, после того как прочитал ответ @kana_sama, и тоже пришёл к выводу что TH здесь скорее "шашечки, чем ехать".
> не надо руками Смарт конструкторы писать
Но надо дописывать предикаты, если их нет. А для конкретных приложений их может легко не быть. Мне некоторое время казалось, что нет разницы делать валидацию в предикате или в смарт-конструкторе. Потом, я пришёл к выводу что предикаты лучше, потому что их можно композить.
В целом, однако, остаётся впечатление что это выходит за пределы "boring Haskell" и больше игрушечки. Но, опыта у меня ноль, видно будет потом.
И это для меня было прям классно — получаю проверку данных от пользователя «за бесплатно» о которой мне вообще думать даже не надо — оно просто работает