ocamlで二進表現の型定義どうするのってぐぐってもそれらしい解説がついてるのが見つからなかったんだけど、やっぱり考えぬいて（アニメ見ながら3時間くらい考えた）以下の結論に至った。 type bnats = X | Y of bnats | Z of bnats type bnat = A | B of bn…