Kentucky Mule – limits of Scala typechecking speed

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

http://www.scala-lang.org/blog/2016/12/07/implicit-function-...