Indeed, I do a lot of Rust/ML-style programming, so the type-directed approach comes naturally.