@@deriving bin_io
Of_binable* functors are for when you want the binary representation of one type to be the same as that for some other isomorphic type.
Of_binable*
Of_sexpable