Dotty brings many powerful new abstractions to Scala. In this talk I will introduce implicit functions and show how they enable extension of GADTs as well as simplicifations to type class usage. I will also talk about the new enums and give an update on the progress of Dotty.
