Dependent Function Types
docs.scala-lang.org