Diane Hosfelt & Daan Sprenkels - RFC: Secret types in Rust — RustFest Global 2020