[dcre]

I’d guess Rust compile times weren’t worth it if they weren’t going to be taking advantage of the type system in interesting ways.