I've been using this technique in Rust for years, really helps catch bugs early and makes code more readable. Wish more languages had similar type systems.