Dotty is moving in this direction with Implicit Function Types.

https://dotty.epfl.ch/docs/reference/implicit-function-types...

https://www.youtube.com/watch?v=YXDm3WHZT5g&feature=youtu.be