型宣言を見直してメモリー効率UP。タプルの中にバリアントよりもバリアントの中にタプルの方が良いです。 あと末尾再帰対応……といってもOCamlの式上で末尾再帰させただけの手抜きですがとりあえずwWwでスタックオーバーフローしないようになりました。 yt@TH…