The approach looks promising, but handling all of Dotty can be challenging. Latest from Dotty: implicit function types https://github.com/lampepfl/dotty/pull/

The approach looks promising, but handling all of Dotty can be challenging. Latest from Dotty: implicit function types https://github.com/lampepfl/dotty/pull/1775 https://github.com/lampepfl/dotty/pull/1775 http://www.scala-lang.org/blog/2016/12/07/implicit-function-types.html http://www.scala-lang.org/blog/2016/12/07/implicit-function-...