うーん、Zodで書き直すことで、読み易い型定義という美点がすっかりそこなわれてしまったなあ。逆にTSの型定義からパーサーを生成するアプローチのほうが好きだなあ。