а вообще идейно с валидацией через типы есть одна фундаментальная проблема: ограниченность системы типов, и, как следствие, невозможность написать полноценный валидатор
мужик, мне вот без тяжелых наркотиков =)
Я сейчас пробую собрать схему, при которой мне не надо втаскивать в флюссоник чуждый протобуф, но чтобы получилось что-то совместимое с ним