Nice writeup, but you forgot to mention https://crates.io/crates/typed-builder - for more compiletime goodness!