Using Rust's Type System for Better APIs (blog.tarn-vedra.de)