@inthehands @airspeedswift There was a great summary of the “explicit/implicit” dynamics from @aturon when discussing “ergonomics”-focused changes to Rust back in 2017: https://blog.rust-lang.org/2017/03/02/lang-ergonomics.html#implicit-vs-explicit
He points out there, and I think this is key, that we actually mostly want to be explicit about *the things in the domain we actively care about*, and implicit about everything else. The challenge for language design (and API design generally) is that “what domain do I care about?” is very dynamic!