This talk presents a generalization of implicit parameters to implicit function types, a powerful way to abstract over the context in which some piece of code is run. To illustrate their abstraction capabilities, we present several applications that make use of implicit function types. We show how to encode the builder pattern, the reader monad, tagless interpreters, and free structures. Required knowledge Basic knowledge about Scala implicits, not be afraid of the M word. Learning objective…