This sort of thing is something we abused about Rust quite some time ago to make safer interfaces to low-level hardware. https://blog.auxon.io/2019/10/25/type-

This sort of thing is something we abused about Rust quite some time ago to make safer interfaces to low-level hardware. https://blog.auxon.io/2019/10/25/type-level-registers/ https://blog.auxon.io/2019/10/25/type-level-registers/