Yes! My counterargument will reference the rust language ergonomics initiative post (which imo is seminal)
In particular, they say
> One final point. "Implicitness" is often relative to where the language is today, something that seems radical at first—like type inference!—but then quickly disappears into the background, to the point that it no longer feels implicit at all (see Stroustrup's rule).
No.