It also emphasizes the importance of good tooling support: when using global inference it would be cool to always show the inferred types as a little semi-trans

It also emphasizes the importance of good tooling support: when using global inference it would be cool to always show the inferred types as a little semi-transparent text on the top...