• pitfalls
• implicit-explicit Often, the heart of the matter is the question of what to make implicit
• reasoning footprint The pitfalls above come from the reasoning footprint getting out of hand, rather than implicitness per se.

Sources

• https://blog.rust-lang.org/2017/03/02/lang-ergonomics.html