Since I had to implement something like that in rust for a base32 codec [1] a few years ago I really like the idea. Although my main concern was ensuring that i

Since I had to implement something like that in rust for a base32 codec [1] a few years ago I really like the idea. Although my main concern was ensuring that invariants are checked by the type system, which might not be as much a concern in c with its implicit conversions? [1] https://github.com/rust-bitcoin/rust-bech32/blob/master/src/lib.rs#L64 https://github.com/rust-bitcoin/rust-bech32/blob/master/src/...